661 Commits (c102cf23342890853f68f29d6352521135138d86)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	904e453c86	Remove PushArray operation ... Clean convert.py	6 years ago
Josselin	ef40d0d74b	Merge branch 'master' into slithir	6 years ago
Josselin	bacd12ec2c	API changes: ... - get_functions_writing_variable -> get_functions_writing_to_variable - get_functions_reading_variable -> get_functions_reading_from_variable	6 years ago
Josselin	040d2d3744	Add __eq__ , __hash__ in SolidityVariable	6 years ago
Josselin	386e1023b1	Remove print	6 years ago
Josselin	c9bdaf19a9	Remove print	6 years ago
Josselin	b6dbe26299	Merge branch 'dev' into slithir	6 years ago
Josselin	cad16a5d96	Add is_erc20 to core.contract	6 years ago
Josselin	dda057728d	Add taint as slither module ... Add is_unprotected to core.function	6 years ago
Josselin	0890dbf337	Merge branch 'dev' into slithir	6 years ago
Josselin	7952a804a8	Refactor function.all_.. methods	6 years ago
Josselin	f72706d77f	Merge branch 'dev-remove-ternary-expression'	6 years ago
Josselin	a15af96993	Add SlithIR representation (WIP) ... Add taint example API changes: - Better handling of tuple - Add context to slither - Change node str representation - Add ChildNode - Add block.blockhash in SolidityVariable - Add __eq__ , __hash__ in SolidityVariable - Add full_name in solidityVariableComposed - Update of the expression in a VARIABLE Node to have the assignement - Remove ENDIF not never reached	6 years ago
Dan Guido	92e3578f16	Update README.md	6 years ago
Dan Guido	64dbdd17a2	better features list	6 years ago
Dan Guido	f1f08de415	Update README.md	6 years ago
Dan Guido	b538e52b55	Update README.md	6 years ago
Dan Guido	2700853ee3	Update README.md	6 years ago
Dan Guido	9f17dedd9b	Update README.md	6 years ago
Dan Guido	4d24862b36	Update README.md	6 years ago
Dan Guido	5e092685cc	Update README.md	6 years ago
Dan Guido	b9f5340843	Update README.md	6 years ago
Josselin	13efd858ed	WIP: split ternary expression to multiples expersssion	6 years ago
Josselin	46419ff12d	Update README.md	6 years ago
Feist Josselin	ab301facba	Update README.md	6 years ago
Josselin	2d36296e03	Add missing files	6 years ago
Josselin	2aea762600	Open source tx.origin detector	6 years ago
Feist Josselin	456aad2422	Update README.md	6 years ago
Josselin	65cb37907c	Update image documentation	6 years ago
Josselin	e6ed6a43c1	Update documentation	6 years ago
Josselin	5930e4ca6b	Add plugin skeleton	6 years ago
Josselin	14643f5eca	Update README example ... Clean code in solidity_variables	6 years ago
Josselin	4d797bb4b7	API changes: ... - Remove slither.utils.utils - Follow pep8 for module name - Shorter module name Move examples/bugs to tests/ (close #7) Udpdate examples/scripts and integrate them in travis	6 years ago
Josselin	f7d13240f3	--detect-uninitialized -> --detect-uninitialized-state ... inheritances -> inheritance	6 years ago
Josselin	ae255bfb60	Update README	6 years ago
Josselin	f45c514f18	Improve uninitialized storage detector documentation	6 years ago
Josselin	26ab17459c	Improve uninitialized storage detector	6 years ago
Josselin	5a094bbdd4	Merge branch 'master' into uninitialized-storage	6 years ago
Josselin	e1fedcacbf	Speedup reentrancy detection through fixpoint	6 years ago
Josselin	a0c366a955	Add uninitialized storage var detector	6 years ago
Josselin	6fb297b69e	Update README	6 years ago
Josselin	533f94ddfa	Only use Impact for classification	6 years ago
Josselin	f3b5d2e78e	Fix typo	6 years ago
Josselin	fdf6534cbe	Re-enable source mapping ... Add pragma and import as classes in core.declarations	6 years ago
Josselin	889a49c0e1	Clean documentation ... Always return a fresh list on getters to prevent modifications from caller	6 years ago
Josselin	45062efb9b	Update printer to last API changes ... Update printer documentation	6 years ago
Josselin	e18be0b483	Add re-entrancy detector ... Add Prioritization information to README	6 years ago
Josselin	bf8303b081	Merge branch 'master' of github.com:trailofbits/slither into external_calls	6 years ago
Josselin	6ac4b56326	Fix node.contain_require_or_assert	6 years ago
Josselin	1e90bb0c8e	Add external calls information	6 years ago