Commit Graph

4141 Commits (d6e40afc5ede852624693490111adbc94d13c030)
 

Author SHA1 Message Date
Josselin 7f02976f04 Merge branch 'dev-improve-json' 6 years ago
Josselin b906965dcc Update naming convention to new json format 6 years ago
Josselin a860e0f96c Merge branch 'master' of github.com:trailofbits/slither 6 years ago
Josselin 2d46050744 Fix incorrect unpacking in function summary printer (#104) 6 years ago
William Woodruff 214e18a30c
Dockerfile: Rewrite to use Ubuntu, official PPA 6 years ago
Josselin 0c63564669 Add Solidity 0.5 Support (WIP) 6 years ago
Josselin 09c559c148 Merge branch 'master' into dev-solidity-05 6 years ago
Josselin 191cb76b42 Merge branch 'master' of github.com:trailofbits/slither 6 years ago
Feist Josselin fd60773027
Merge pull request #94 from trailofbits/dev-improve-json 6 years ago
Josselin d3726f9dd7 Make json result more deterministic 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
Feist Josselin 4ed73e151d
Merge pull request #93 from SolidCheck/master 6 years ago
rawwwulea ea1309f28a Fixed Dockerimage - slither not compatible with solc > 0.5.x atm, so downgrade solc to 0.4.25 6 years ago
Josselin f1b578c11f Minor 6 years ago
Josselin 1fb497a417 WIP: add support for state variables 6 years ago
Josselin 767e01ec2c Dominator: corner case if there is a if without else for dominance frontier 6 years ago
Josselin 27d38c3bd5 Sort slither cli output by detector.impact 6 years ago
adamhos e5f3fa854e Fix ConstantPragma detector wiki link (#88) 6 years ago
Josselin e25be40be4 Add node.local_variables_written/local_variables_read 6 years ago
Josselin cb6ecbf2bb Merge branch 'dev' into dev-ssa 6 years ago
Josselin 4d97d82ac0 Ternary operation: move variable declaration to condition node to avoid dupplicate variable declaration 6 years ago
Josselin b6952b4732 WIP: Improve ssa conversion 6 years ago
Josselin efa088b931 Minor 6 years ago
Josselin 29926c7e4f Clean expression_to_slithir modifications 6 years ago
Josselin a404027b5b Add missing files 6 years ago
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