1249 Commits (6fd8d76d71db10d8a161aba8a4c7ecd22d2c62c8)

 

All Branches   

Search

Author	SHA1	Message	Date
Feist Josselin	6fd8d76d71	Merge pull request #338 from crytic/dev-fix-unused-states ... Fix unused state	5 years ago
Josselin	0c91571295	Fix unused state: #333 lead to miss some results	5 years ago
Josselin	59691a8fdb	Merge branch 'master' into dev	5 years ago
Josselin	805b341d53	Use crytic-compile#master	5 years ago
Feist Josselin	6a7c9a1709	Merge pull request #333 from crytic/dev-constructorconstantvariable ... Add IR conversion for constant state variable conversion	5 years ago
Josselin	37908309a8	Add source mapping to inner expressions	5 years ago
Feist Josselin	e2474d5c04	Merge pull request #332 from crytic/dev-fix-abidecode ... Fix incorrect abi.decode translation	5 years ago
Feist Josselin	ec159d1f3e	Merge pull request #330 from crytic/dev-human-printer ... Add optimization impact level to human summary	5 years ago
Josselin	5100038f24	Merge branch 'master' into dev	5 years ago
Feist Josselin	bb939ccf99	Merge pull request #329 from crytic/dev-fix-loop-break ... Fix parsing of infinite loop with break	5 years ago
Josselin	07a7897a22	Add IR conversion for constant state variable conversion	5 years ago
Josselin	1ef8dbe69d	Fix incorrect abi.decode translation	5 years ago
kaisaf	b4165de2d4	Add optimization impact level to human summary	5 years ago
Josselin	cf7d0c73ed	Fix incorrect for(;;) parsing if break is present	5 years ago
Feist Josselin	5ed0eec45e	Merge pull request #325 from burrrata/master ... Added solc-select to installation section of README.md	5 years ago
Feist Josselin	18b2bbd8a7	Update README.md	5 years ago
Feist Josselin	021e6836b0	Merge pull request #322 from disconnect3d/slither-cli-print-detectors-count ... Print detectors count on Slither CLI	5 years ago
Feist Josselin	bed3cc3d05	Merge pull request #323 from crytic/disconnect3d-patch-1 ... Fix MultipleCallsInLoop wiki url	5 years ago
burrrata	8c80fec033	Update README.md	5 years ago
Disconnect3d	c3bc9fe833	Fix MultipleCallsInLoop wiki url	5 years ago
disconnect3d	abc0563f63	Print detectors count on Slither CLI ... This way we can see: ``` INFO:Slither:. analyzed (34 contracts with 38 detectors), 378 result(s) found ``` for public Slither version and more for the private one ;).	5 years ago
Feist Josselin	9922eb499a	Merge pull request #317 from crytic/special_case_echidna_properties ... ignore naming convention restriction on echidna_ and crytic_ functions	5 years ago
Alex Groce	5468bc1bb1	Change to startswith	5 years ago
agroce	d3ba27baea	ignore naming convention restriction on echidna_ and crytic_ functions	5 years ago
Josselin	b43d4c9222	v0.6.6	5 years ago
Feist Josselin	f608e985d8	Merge pull request #314 from crytic/dev-fix-reentrancy ... Fix reentrancy detector	5 years ago
Josselin	e2ed64c97b	Fix reentrancy detector	5 years ago
Josselin	c417c04bf0	v0.6.5	5 years ago
Feist Josselin	774fd917d8	Merge pull request #299 from Abhimanyu121/master ... Printer: constructor summary	5 years ago
Feist Josselin	b993bc2626	Merge pull request #313 from crytic/dev-move-utils ... Move .utils to slither.tools	5 years ago
Abhimanyu121	accb687544	New Printer: Prints Contructor call sequence ... inital commit it just gets instance of constructor of every contract following c3 linearization made proper constructor printer improved code readablity added check when there are no contructors added link to wiki updated argument to "constructor-calls"	5 years ago
Feist Josselin	d71b1a6972	Merge pull request #311 from crytic/dev-refactor-reentrancy ... Refactor reentrancy + API changes	5 years ago
Josselin	48879668e1	Move .utils to slither.tools to allow use in external tools	5 years ago
Josselin	c25aa4fc2e	Merge branch 'dev' into dev-refactor-reentrancy	5 years ago
Josselin	df0dacc2a9	Improve constant folding	5 years ago
Josselin	923d82acfc	Remove print	5 years ago
Josselin	de4d863e19	Improve solc_version information	5 years ago
Josselin	58abfbb477	Refactor reentrancy + API changes: ... - Move can reenter / can send eth logics to the IR level - Add create-based reentrancy (https://github.com/crytic/slither/issues/310)	5 years ago
Feist Josselin	54241c0d13	Merge pull request #305 from crytic/dev-late-subdenomination-conversion ... Late subdenomination conversion	5 years ago
Josselin	13528d26d9	Minor	5 years ago
Josselin	f8b7d49f66	Merge branch 'dev' into dev-late-subdenomination-conversion	5 years ago
Josselin	2ff1b296a1	Minor	5 years ago
Josselin	a8b4959ea8	Merge branch 'dev' into dev-late-subdenomination-conversion	5 years ago
Josselin	aec680c5fe	Naming convetion: do not report incorrect naming convention for constructor	5 years ago
Josselin	a9dea21ca8	Update travis tests	5 years ago
Josselin	4b2ddad163	Merge branch 'dev' into dev-late-subdenomination-conversion	5 years ago
Josselin	1ac8571872	Markdown typo in void constructor	5 years ago
Josselin	36d56d0b93	Update README.md	5 years ago
Josselin	adf515f764	Merge branch 'master' into dev	5 years ago
Josselin	6dfa82fe33	Merge branch 'dev' into dev-late-subdenomination-conversion	5 years ago