Commit Graph

3564 Commits (73f5ad3c93c13477f7141f30cf13ba223529e210)
 

Author SHA1 Message Date
Josselin 2915840be2 Keep original slithIR and generate the SSA version as a second list of IR (WIP) 6 years ago
Josselin 0e6e0cb176 Improve slithir conversion 6 years ago
Josselin b92694b985 Merge branch 'dev' into dev-ssa 6 years ago
Josselin 1908dc2cd8 Avoid None to be store on variables_written 6 years ago
Josselin 4cb8890dea Add support for function parameters/return variables 6 years ago
Josselin 7e91d7ae5f Add dominators information (node dominators, dominator tree, dominance frontier) 6 years ago
Josselin f3b82b4619 v0.3.1 6 years ago
Josselin 58ac904c90 Add contract to locked_ether json 6 years ago
Josselin f3a9999fb5 Use deepdiff library to compare json output instead of custom script 6 years ago
Josselin 689ef8bcc1 Merge branch 'dev-refactor-json' into dev 6 years ago
Josselin dea6543bbb Add new json helper 6 years ago
Feist Josselin 6322e201f6
Merge pull request #84 from trailofbits/dev-refactor-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 634f48e0a8 Fix incorrect naming in human_summary printer 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 e3a8570409 Merge branch 'master' into dev-refactor-json 6 years ago
Josselin c7fd4e0f45 Fix incorrect type recover for external calls to mapping of mapping (fix #83) 6 years ago
Josselin f9d1d0ee97 Check for 'truffle-config.js' file existence 6 years ago
Josselin c1f0afb010 Refactor JSON output (WIP) 6 years ago
Josselin 4c6acbc901 Fix incorrect attribute in modifier parsing (is_implemented) 6 years ago
Josselin 2b8dac7392 Improve contract.is_signature_only 6 years ago
Josselin 6583ffc567 Fix dupplicate constructor(s) 6 years ago
Josselin edb537c236 Version 0.3.0 6 years ago
Josselin 11cf343d24 Typo 6 years ago
Josselin 075c968e14 Fix incorrect set_node 6 years ago
Josselin 99767a1bb4 Improve unused return value 6 years ago
Josselin 52a973722a Update classification of unused return value detector 6 years ago
Josselin c307a03fde Fix constant function name 6 years ago
Josselin 722b9a6867 Merge branch 'benstew-unused-return-values' into dev 6 years ago
Josselin 39facef8eb Improve Unused return value detector: 6 years ago
Josselin f7762ab92b Merge branch 'unused-return-values' of https://github.com/benstew/slither into benstew-unused-return-values 6 years ago
Feist Josselin 37c4c8d6cd
Merge branch 'dev' into unused-return-values 6 years ago
Josselin 380dffd68b Improve constant function classification 6 years ago
Josselin 4d9062a6e3 Add support for NewArray in ternary split (close #79) 6 years ago
Josselin 24ce3a76f8 Add Missing testcase 6 years ago
Josselin f0ab53ac16 Minor 6 years ago
Josselin e87d215780 Update README 6 years ago
Josselin feade6cd22 minor 6 years ago
Josselin 4123987c3c Run truffle compile automatically 6 years ago
Josselin ddb2ae219e Update readme 6 years ago
Josselin 76e781d598 Improve travis test 6 years ago
Josselin 26df3b2165 Open source constant function detector 6 years ago
Josselin de018d5f4d Add function.contains_assembly property 6 years ago
Josselin 9770fe6276 Improve precision of uninitialized local variable (don't consider function with asm code) 6 years ago
Josselin 82d4730f12 Rename exclude-detectors -> exclude (close 76) 6 years ago
Josselin 24d372bfda Fix incorrect library.structure conversion 6 years ago
Josselin 3b7319ffdf Improve truffle integration 6 years ago
Josselin 952a90b4d5 Fix minor bug 6 years ago