Commit Graph

719 Commits (c2ff6585dbbff0ae814d12fbf017dec5c8955c69)
 

Author SHA1 Message Date
Josselin c2ff6585db v0.5.2 6 years ago
Feist Josselin 00b3c891ee
Add eth-security-toolbox information 6 years ago
Josselin dc7359c947 Add command line to generate the wiki page 6 years ago
Josselin ec27576a77 Add wiki information to all detectors 6 years ago
Josselin bbf3d5a98e Add size to elementary_type 6 years ago
Josselin ed7afe0049 Re-activate Length Operator conversion 6 years ago
Josselin 547f7aadaa Improve reentrancy heuristic (remove FP) 6 years ago
Josselin 2ac861f5e0 Improve reentrancy heuristic 6 years ago
Josselin e9c9476ea4 Improve reentrancy benign 6 years ago
Josselin 5dc98b20b5 Improve read var info for Index/Member operatioln 6 years ago
Josselin 7d04cc049d Refactor reentrancy detector: 6 years ago
Josselin bec190e877 Update uninit storage pointer testcase 6 years ago
Josselin 00c38a0945 Use cache system for function.all_* properties 6 years ago
Josselin 1cdc34ec77 Fix incorrect state variable read in case of ReferenceVariable 6 years ago
Josselin bcb3e5b5f0 Add partial support of abi.decode() 6 years ago
Josselin 22e3e2fd40 v0.5.1 6 years ago
Josselin c12ab06e76 Merge branch 'dev' of github.com:trailofbits/slither into dev 6 years ago
Josselin 11958943db Re-add contract.contract_not_inherited 6 years ago
Josselin bfd3dbb945 API changes: 6 years ago
Josselin 96106d56af Merge branch 'dev' into dev-immediate-inheritance 6 years ago
David Pokora f60c705c3b
Added a function to obtain non-inherited contracts, switched explicit base constructor to use it. 6 years ago
David Pokora 1017903e46
Refactored property/field names for improved accuracy. 6 years ago
David Pokora 4c1f5dde51
* Exposed base constructor calls on contract definitions. 6 years ago
David Pokora 197db33dba
Expose base constructors called on constructor functions 6 years ago
Feist Josselin 6ac23a269d
Merge pull request #149 from trailofbits/dev-indexed-params 6 years ago
David Pokora c0323282d6
Expose "indexed" attribute on event parameters (used to indicate inclusion in bloom filter). 6 years ago
Josselin 314c8cb0e3 Add support for index on anonymous arrays (close #139) 6 years ago
Josselin 98fdc339ab Convert ternary operator in modifier (close #140) 6 years ago
Josselin 983677205f Improve support of user-defined function type (close #136) 6 years ago
Josselin 3db412a7d5 Add gas/value support for internal dynamic call (close #135) 6 years ago
Josselin 889edd2952 Fix empty do-while loop parsing (close #133) 6 years ago
Feist Josselin 05556c932b
Merge pull request #146 from trailofbits/dev-utf8 6 years ago
Feist Josselin 28f7a3f9e3
Merge pull request #147 from trailofbits/dev-hex-subdenominations 6 years ago
David Pokora 3d552307ef
Added hexadecimal support for subdenominations 6 years ago
David Pokora 4f95e308bc
Open files with UTF-8 encoding 6 years ago
David Pokora 657c804531
Immediate function inheritance support for compact-ast (TODO: legacy AST) 6 years ago
Josselin affe95813f v0.5.0 6 years ago
Josselin c67fad8df5 Reentrancy detectors: Update wiki links 6 years ago
Feist Josselin 9ee648f6bc
Merge pull request #129 from trailofbits/dev-old-solc 6 years ago
Josselin 768c84b334 Upgrade travis test + update readme + allow solc 0.4.24 6 years ago
Josselin 5de937f8d4 Merge branch 'dev' into dev-old-solc 6 years ago
Josselin 1ff60b49f9 Add warning if no contract was analyzed 6 years ago
Josselin a56359d1de Minor 6 years ago
Josselin ce1f456daa SImplify version checking 6 years ago
Josselin 369dbddeaf Merge branch 'dev' into dev-old-solc 6 years ago
Josselin c84ef2de8a Update README 6 years ago
Josselin 52322ebb37 Open source shadowing local and shadowing builtin detectors 6 years ago
Josselin 1d278f520c Add missing testcase 6 years ago
Josselin 1532babf38 Open source incorrect-equality detector 6 years ago
Josselin c102cf2334 SSA: fix incorrect function attribute on HighLevelCall 6 years ago