2377 Commits (3cb59c6c3a5705b7879ffc54104e715957f0f0be)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	3cb59c6c3a	Do not use available_functions_as_dict in find_variable ... The reason is that this function is now called early on (before the contract is properly constructed), which can break the memoization	3 years ago
Feist Josselin	1c127979d9	Merge pull request #990 from crytic/dev-scope-file ... Refactor core objects to add a file scope.	3 years ago
Feist Josselin	0e092f6e97	Merge pull request #991 from crytic/dev-detector-msg-value-in-loop ... Add detector use of msg.value inside a loop	3 years ago
Josselin	7d0fcdb167	Minor	3 years ago
Feist Josselin	3ebf453d9f	Merge pull request #985 from crytic/dev-improve-support-unit-global ... Improve support for units and globally available variables	3 years ago
Feist Josselin	11ed162b68	Merge branch 'dev' into dev-detector-msg-value-in-loop	3 years ago
Feist Josselin	bec91e4fba	Merge pull request #992 from crytic/dev-detector-delegatecall-in-loop ... Add detector delegatecall inside a loop	3 years ago
Josselin	38af237460	Run black	3 years ago
Josselin	b85d9e8cbf	Improve support for unit and global ... - Remove Balance IR (BREAKING CHANGE), and use solidity function instead - Add support for addr.code / addr/codehash - Add block.basefee support - Improve bytes.concat support - Add type early on for convert operator (useful for .balance/.code/.codehash detection) Replacing Balance by a solidity function allows to ease the analysis, and prevent adding an IR opcode per address.function (code/codehash) Additionally this PR add thorough tests based on https://docs.soliditylang.org/en/latest/units-and-global-variables.html for all the different solidity versions.	3 years ago
Josselin	6964978f4b	Merge branch 'dev-detector-delegatecall-in-loop' of https://github.com/smonicas/slither into smonicas-dev-detector-delegatecall-in-loop	3 years ago
Josselin	8998849588	Merge branch 'dev-detector-msg-value-in-loop' of https://github.com/smonicas/slither into smonicas-dev-detector-msg-value-in-loop	3 years ago
Josselin	c77545e995	Black	3 years ago
Josselin	c29e080109	Add support for FileScope with cycles in the imports ... The implementation is not the most efficient as it can iterate a lot before reaching a fixed point, but ultimately the filescope should not contains too many objects and the iteration should be fast to converge. But we will need performance testing to see if there is an speed impact.	3 years ago
Josselin	5149497294	Fix pylint on test_features	3 years ago
Josselin	dd78ba95c8	remove cd ..	3 years ago
Josselin	224d7a848a	Minor	3 years ago
Josselin	8d3faf2cba	Minor	3 years ago
Josselin	8bed77221f	Minor fixes	3 years ago
Josselin	29ca3ce761	Refactor core objects to add a file scope. ... This is a significant refactoring that will allow slither to have a better support for codebases with naming collision (including contracts and structures) - Add core.scope.scope.FileScope, which represents all the objects accessible given a filename - Use this scope everywhere an access to another object is needed during parsing - Replace CallerExpression nammedtuple by a CallerContextExpression object. This cleans the python types and reduces the code complexity - Add test_features which currently tests the contract name and structure name collision through the standard solc json input and import through node_modules Fix #912	3 years ago
alpharush	5de54f7089	Update wiki link to python API (#986)	3 years ago
Josselin	d961be9b8b	Merge branch 'dev'	3 years ago
Josselin	8a2d695b25	Run black	3 years ago
Feist Josselin	95019e30b3	Improve YUL parsing (#987) ... * Improve YUL parsing - Add support for YUL top level function (fix 899) - Add function_language in the function definition, to determine if the function is written in YUL or Solidity. This is now used when the function of the contract are propagated in the inheritance (fix 969)	3 years ago
Feist Josselin	1548c8217e	Improve support for yul's slot direct usage (#983) ... * Improve support for yul's slot direct usage * Add a lot of expected json files for the AST testing that were missing	3 years ago
Feist Josselin	adfffbf40c	Add support for "selector" access on custom error (#984) ... * Add support for "selector" access on custom error	3 years ago
Feist Josselin	df1062902f	Add support for CustomError (#947) ... * Add support for CustomError - Create a new CustomError/CustomErrorTopLevel/CustomErrorContract core objects, and associated parsing classes - Create a specific solidity function to handle the revert CustomError call - Fix #919, Fix #893	3 years ago
Feist Josselin	154dd9f260	Disable incorrect strict equality on top level functions (#952) ... Until we have a better taint system for top-level functions	3 years ago
Marius G	7887f3914d	Fix slither-flat external/private options (#964) ... The options --convert-external and --convert-private are currently broken from what looks like some automatic conversion according to git blame. Also fixes issue #580	3 years ago
Tadashi	f3de50a8c6	Fix typo in doc (#971) ... Partially closes #970 (also needs to change Github's wiki)	3 years ago
Devashish Tomar	3c9fbb49bc	fixed call-graph printer output filename (#973) ... fixed call-graph printer output filename	3 years ago
Feist Josselin	698387a32a	Merge pull request #980 from crytic/dev-0.8.10 ... Update tests for 0.8.10	3 years ago
Josselin	697db21c14	Update tests for 0.8.10	3 years ago
Feist Josselin	a9688de7b6	Merge pull request #967 from jesus-eff/docker-build ... docker build success	3 years ago
Jesus F Christ	0baf158ae6	can build docker image	3 years ago
Josselin	3bc22a9b14	Merge branch 'master' into dev	3 years ago
Feist Josselin	701a6a7c51	Add more details on external publications	3 years ago
Feist Josselin	a9e9b307de	Merge pull request #958 from crytic/dev-ci-ast-0.8.8-0.8.9 ... Add missing tests artifacts for 0.8.8 and 0.8.9	3 years ago
Josselin	2992081c2f	Add missing tests artifacts for 0.8.8 and 0.8.9	3 years ago
Feist Josselin	ba38045f8b	Merge pull request #926 from smonicas/dev-fix-detector-costly-ops-in-loop ... Fix undetected cases for detector costly-loop	3 years ago
Feist Josselin	a588fe184f	Merge pull request #925 from smonicas/dev-fix-detector-calls-in-loop ... Fix undetected cases for detector calls-loop	3 years ago
Feist Josselin	3b1a07ea05	Merge pull request #949 from crytic/dev-yul-top-level ... Improve YUL parsing on top level function	3 years ago
Josselin	2f854e1be0	Improve YUL parsing on top level function	3 years ago
Feist Josselin	82360106bf	Merge pull request #946 from crytic/dev-immutable ... Add support for immutable variable	3 years ago
Josselin	d926fe7769	Merge branch 'dev' into dev-immutable	3 years ago
Josselin	54c78edd65	Add support for immutable variable ... Fix https://github.com/crytic/slither/issues/927	3 years ago
Feist Josselin	58458df77e	Merge pull request #945 from crytic/dev-top-level-and-import ... Improve top-level function support and import with renaming	3 years ago
Josselin	491e355df2	Remove failed compilation artifacts	3 years ago
Josselin	5efcffb61c	Add missing tests artifacts	3 years ago
Josselin	f4e86004ab	Improve top-level function suppoort and import with renaming ... - Standardize Import object to ahve have the absolute path - Allow node in top level function to look for elements in other location (fix https://github.com/crytic/slither/issues/911) - Improve support for file import with renaming that are used to call top-level function - SolidityImportPlaceHolder inherits now directly from Variable, and has a proper lookup on the IR generation - Active all the top-level tests that were failing and disabled in the CI - Extract 'find_variable' related functions from the epressions_parsing module to its own module (the file was becomming too large) - Update tests to use 1bd1d41e52	3 years ago
s1m0	9e6bcfab07	Add tests	3 years ago