Commit Graph

1159 Commits (a0f7be75de316107a1ab65518d54cd8cc05d238e)
 

Author SHA1 Message Date
Josselin 8452b32190 Add CFG Printer 6 years ago
Josselin 0b40c354d8 change LocalIRVariable.points_to to refers_to + minor modif 6 years ago
Josselin 73a668945d Merge branch 'dev' into dev-ssa 6 years ago
Josselin 7956f7f6ae Improve reentrancy bening 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 c8952db2ed Fix incorrect ternary conversion on Return node (close #115) 6 years ago
Josselin b31fdc44d2 Merge branch 'master' into dev 6 years ago
Josselin 214229d9d6 LockedEther: Add NewContract to the list of msg.value checks (close #114) 6 years ago
Josselin b7eeb6037e Merge branch 'master' into dev 6 years ago
Josselin 6124a46044 LockedEther: Add NewContract to the list of msg.value checks (close #114) 6 years ago
Matt Rice 8fbcf2bd66 Minor error message grammar correction (#113) 6 years ago
Josselin 84824812ea Small bugfixes 6 years ago
Josselin b543b3ba75 Minor 6 years ago
Josselin e68f37b961 __main__: Do not execute process if proccess_files was executed 6 years ago
Josselin 4359a56447 Add hidden option --splitted to manage json splitted into files 6 years ago
Josselin 1d4f761b12 Bugfix 6 years ago
Josselin 8373b04c1f Optimize last_ssa computation 6 years ago
Josselin 9355e8a4b1 Optimize dominator computation and SSA.is_used_later 6 years ago
Josselin d601645c52 Minor 6 years ago
Josselin 0b048077f0 Minor 6 years ago
Josselin cacf3cf483 Improve state variable SSA conversion 6 years ago
Josselin d33c3e8b83 Merge branch 'dev' into dev-ssa 6 years ago
Josselin 7f93370128 Add --list-detectors-json hidden option 6 years ago
Josselin 1f4b6116c5 Update read/write information using SSA 6 years ago
Josselin d088a3d13a Improve SSA on state variable and track of references 6 years ago
Josselin a376efabd4 Fix incorrect return None IR conversion 6 years ago
Josselin 2364126495 Improve SSA conversion 6 years ago
Josselin 75c894ff80 SSA: 6 years ago
Josselin 3a5636736a Improve SSA generation for state variables 6 years ago
Josselin 87319a6bff Add phi origin for state variable at function entry point 6 years ago
Josselin c345ecd8be Remove phi function for unued state variables 6 years ago
Josselin 82d1d50766 Merge branch 'dev' into dev-ssa 6 years ago
Josselin 8f91c801c0 v0.4.0 6 years ago
Josselin 3fb066d7fb Prevent dupplicate results for unini local var detector 6 years ago
Feist Josselin f4ecee03ee
Update README.md 6 years ago
Josselin 665ed23a00 Update readme 6 years ago
Josselin 30b0f19c0b Open source detector for multiple calls in a loop 6 years ago
Feist Josselin e0a0e9918f
Merge pull request #108 from trailofbits/dev-json-refactor 6 years ago
Josselin 97d4b32bd1 Remove dupplicate import (close #109) 6 years ago
Josselin ef854254be Update SSA on Return IR 6 years ago
Josselin 239b887260 Merge branch 'dev' into dev-ssa 6 years ago
Josselin 1f5777fdc0 Merge branch 'master' of github.com:trailofbits/slither 6 years ago
Josselin bdbf947ff5 Improve helper 6 years ago
Josselin c346cf4827 Merge branch 'mattaereal-patch-npx-alt' 6 years ago
Josselin ef28feb517 Allow arbitrary truffle version through npx 6 years ago
Josselin 2f43bc1e6b Merge branch 'patch-npx-alt' of https://github.com/mattaereal/slither into mattaereal-patch-npx-alt 6 years ago
Feist Josselin d1aa53a249
Update README.md 6 years ago
Josselin 539383f151 Refactor JSON output 6 years ago