TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
592 Commits
76 Branches
41 Tags
110 MiB
Tag: Branch: Tree: 1d4f761b12
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '1d4f761b12'
${ noResults }
Commit Graph

592 Commits (1d4f761b12c76478e4de439035a71cd8eace7332)
 

Author SHA1 Message Date
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
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
Feist Josselin fed11e9cf6
Merge pull request #102 from trailofbits/dev-solidity-05
6 years ago
Josselin c43c64f009 Merge branch 'master' of github.com:trailofbits/slither
6 years ago
Josselin 8248bba943 Improve slithIR RETURN conversion (close #89)
6 years ago
Feist Josselin 049cb50ed1
Merge pull request #107 from trailofbits/docker-verify-solc
6 years ago
Disconnect3d de529a6fe3
Verify solc binary
6 years ago
Josselin 39d88e119a Fix incorrect do while CFG recovery (fix 97)
6 years ago
Josselin a4032dc000 Parse local variables prior parsing modifier (fix 99)
6 years ago
Josselin f70fe60b1d Improve mix mapping/array type recovery (fix 99)
6 years ago
Josselin f804da4735 Improve ternary conversion (close #98)
6 years ago
Josselin 2916af5e90 Improve sha256/ripemd160 support
6 years ago
Matías A. Ré Medina 514b94b15d Add support for executing truffle locally
6 years ago
Josselin 37c2ded097 Add visibility to Solidity script examples
6 years ago
Josselin 1f90b4c7f1 Update travis scripts
6 years ago
Josselin f7c1d2c5e7 Update travis install
6 years ago