Commit Graph

177 Commits (d3eea7b64e3cf28d5f1aff3812b6c47d66411177)

Author SHA1 Message Date
Josselin 7e7910fa9a Update README.md 6 years ago
Josselin 559e35b95d Update README 6 years ago
Josselin 88a6ced3af rtlo detector: minor modifs 6 years ago
Josselin 78b60631ac Update travis badge 6 years ago
Josselin b7786962a1 Update travis badge 6 years ago
Josselin a8b7e55638 Update wiki link (crytic) (Fix #190) 6 years ago
Josselin 108851ac9e README: add logo 6 years ago
Josselin bbaa8e541a Rename variablesorder -> variableorder 6 years ago
Josselin 5cc07a3608 Update wiki links 6 years ago
Josselin f53151e695 Open source 3 detectors: 6 years ago
Feist Josselin 428a1e3462
Update README.md 6 years ago
Feist Josselin e377258b81
Update README.md 6 years ago
Josselin 3665108cf8 Update travis test to fixed solc version/pragma json 6 years ago
Josselin 367ba02562 Add WIKI link to printers (close 164) 6 years ago
Josselin 7efc087c74 Improve printer documentation 6 years ago
Dan Guido 641703b841
Update README.md 6 years ago
Dan Guido 39dc7731e9
grammar 6 years ago
Feist Josselin 00b3c891ee
Add eth-security-toolbox information 6 years ago
Josselin c67fad8df5 Reentrancy detectors: Update wiki links 6 years ago
Josselin 768c84b334 Upgrade travis test + update readme + allow solc 0.4.24 6 years ago
Josselin c84ef2de8a Update README 6 years ago
Josselin 1532babf38 Open source incorrect-equality detector 6 years ago
Josselin 51f3798626 Split reentrancy detector into three variants: 6 years ago
Feist Josselin f4ecee03ee
Update README.md 6 years ago
Josselin 665ed23a00 Update readme 6 years ago
Feist Josselin d1aa53a249
Update README.md 6 years ago
Josselin d49ea4475d Open source detector on dangerous block.timestamp usage 6 years ago
Josselin d5c439c5d2 Open source shadowing state variable detectors 6 years ago
Josselin 52a973722a Update classification of unused return value detector 6 years ago
Josselin 39facef8eb Improve Unused return value detector: 6 years ago
Josselin 380dffd68b Improve constant function classification 6 years ago
Josselin f0ab53ac16 Minor 6 years ago
Josselin e87d215780 Update README 6 years ago
Josselin ddb2ae219e Update readme 6 years ago
benstew 63708a63df shorten --exclude-detectors to --exclude and remove whitespace 6 years ago
benstew 75c5088c11 move detector to operations directory and refactor 6 years ago
benstew 684ef023f2 unused return values 6 years ago
Josselin 2018cdcf21 Update README 6 years ago
Josselin 375e56e282 Add Uninitialized local variable detector 6 years ago
Josselin 5c238c9c93 Change --printers to --print and --detectors to --detect (close #71) 6 years ago
Josselin 563d511829 Improve output format 6 years ago
Josselin a94292ceed Disable ComplexFunction detector until benchmark is performed 6 years ago
Josselin 9cfc57eb77 update readme 6 years ago
Josselin 30bb43906e Update README 6 years ago
Josselin 9b818aab16 Rename const-candidates-state to constable-states 6 years ago
Josselin 6689a54476 Rename const-candidates-state to constable-states 6 years ago
Josselin c218730783 Update printers description 6 years ago
Josselin 44583294f2 ExternalFunction: Simplify codebase and example 6 years ago
Dan Guido dab823e8f4
Update README.md 6 years ago
Dan Guido 32ba0c094d
Update README.md 6 years ago