Commit Graph

480 Commits (4254ea9d7d2cc4174fa1e00bbc9d6a558fbc9471)

Author SHA1 Message Date
Josselin f7d68c05f6 Fix travis 6 years ago
Josselin ac82e1fc0c Update to crytic-compile d90d8372d2826fb310ff83e87e4fa9ea0d553ae3 6 years ago
Josselin 88a6ced3af rtlo detector: minor modifs 6 years ago
Shahar Zini 349e9f7f20 Add right-to-left-override character (U+202E) detection 6 years ago
Josselin f3d5f0d0e8 Rename slither-check-upgradability -> slither-check-upgradeability 6 years ago
Josselin bffa59f6c5 Rename slither-check-upgradability -> slither-check-upgradeability 6 years ago
agroce 4d0f55733b change arbirary to arbitrary 6 years ago
Josselin ea24e614be Improve slither-check-upgradability + add travis unit tests 6 years ago
Josselin cdda518e12 slither-check-upgradability: add check initialization module (close #182) 6 years ago
Josselin 816cef52da Minor typo 6 years ago
Josselin 2ac0abf518 Improve slither-find-paths + add travis unit tests 6 years ago
rajeevgopalakrishna 8344c4edf3 Fixed a typo in detector where *callcode* was specified as *codecall*. Added a test to verify the fix. 6 years ago
Josselin f53151e695 Open source 3 detectors: 6 years ago
Josselin 3665108cf8 Update travis test to fixed solc version/pragma json 6 years ago
David Pokora 2d57be0fff
* Added tooltips for function/variable shadowing 6 years ago
David Pokora 3112c3b8c5
Updated test for less bloat + better readability in graph. 6 years ago
David Pokora d1b0c1d5b0
* Changed inheritance-graph to only show variables explicitly defined in the parent contract, instead of inherited. 6 years ago
David Pokora 387d5efea5
* Added state variable shadowing detection to inheritance_analysis. 6 years ago
Josselin 9baf839da5 slither-check-upgradability: 6 years ago
Josselin bec190e877 Update uninit storage pointer testcase 6 years ago
Josselin 768c84b334 Upgrade travis test + update readme + allow solc 0.4.24 6 years ago
Josselin a56359d1de Minor 6 years ago
Josselin ce1f456daa SImplify version checking 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
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
Josselin fc4ac0c988 Improve constable-states result (remove FP) 6 years ago
Josselin b9d5e17245 Simplify constable detector (+ group all the result in one json) 6 years ago
Josselin af646da29e Update travis tests 6 years ago
David Pokora 510aa29b99
Rewrote external-function detector to handle false-positives as a result of inheritance. 6 years ago
Josselin 51f3798626 Split reentrancy detector into three variants: 6 years ago
Josselin 8828093f1a Update travis testcase 6 years ago
Josselin df1f475a22 Improve reentrancy 6 years ago
Josselin 30b0f19c0b Open source detector for multiple calls in a loop 6 years ago
Josselin 539383f151 Refactor JSON output 6 years ago
Josselin d49ea4475d Open source detector on dangerous block.timestamp usage 6 years ago
Josselin eb1a848283 Add missing testcases 6 years ago
Josselin d5c439c5d2 Open source shadowing state variable detectors 6 years ago
Josselin b906965dcc Update naming convention to new json format 6 years ago
Josselin 0c63564669 Add Solidity 0.5 Support (WIP) 6 years ago
Josselin 16e0269972 Add impact and confidence fields 6 years ago
Josselin 1c666c729d Partial support of Solidity 0.5 (WIP) 6 years ago
Josselin 19e1c6340d Json: 6 years ago
Josselin 58ac904c90 Add contract to locked_ether json 6 years ago
Josselin 35524d8b93 JSON output: add helpers to unifiy and simplify export 6 years ago
Josselin 1995d4f57b Json refactor: 6 years ago
Josselin 242acd0538 Continue to refactor JSON output (WIP) 6 years ago
Josselin 588e6014d2 Continue to refactor JSON output (WIP) 6 years ago
Josselin c1f0afb010 Refactor JSON output (WIP) 6 years ago