Commit Graph

2356 Commits (8d3faf2cba9eabdd9449697c9f3367b46d27e8e7)
 

Author SHA1 Message Date
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 318f2fe036 Add print to show the state variables ordering 6 years ago
Josselin 8f7832144a Merge branch 'dev' into dev-upgradibility 6 years ago
Josselin 917967399a Add function id printer 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
David Pokora ef06deb965
Updated unspecified digit behavior for solc-version detector. 6 years ago
David Pokora 80e86bc769
Changed regex in solc-version detector to account for strict version specifying. 6 years ago
David Pokora 945cbc64d7
Updated solc-version detector test contract and fixed an issue where a [x,x) or (x,x] bound would allow x. 6 years ago
David Pokora c57f2cecc1
Removed test data and cleaned up solc-version detector refactor. 6 years ago
David Pokora 14cf0bf67f
Added filtering of pragmas to only focus on version (TODO: Skip files which were not compiled). 6 years ago
David Pokora a24116134f
Adds support for OR statements in semver (prior iterations treated all seperation as AND). 6 years ago
David Pokora ef9768216f
Fixed caret operations in semver expressions to pass version tests 6 years ago
David Pokora 817c6174b9
Continued work on semver expression parsing for oldsolc detector 6 years ago
Josselin eae46813ab Improve reentrancy heuristic 6 years ago
David Pokora 335c2b3cbf
Initial work on old-solc detector updates 6 years ago
Josselin 4340b86bb4 Improve reentrancy heuristic 6 years ago
Josselin ff280c2b6f SSA: dont propage read_write info for nodes on PhiCallback instruction 6 years ago
Josselin fc4ac0c988 Improve constable-states result (remove FP) 6 years ago