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

839 Commits (6fb17e9f6326acfb80bd1980e5c83630f1458da5)
 

Author SHA1 Message Date
Josselin 458986f9d5 Typo
6 years ago
Josselin 6fa7a6df45 Serge branch 'dev-external-function' into dev
6 years ago
David Pokora 665b71ce0a
Loosen bounds on external-functions detector
6 years ago
David Pokora bb057c1435
Fixed an issue in external-functions detector that iterated on a contract instead of its function properties.
6 years ago
Josselin 9c2a8c1da3 Merge branch 'dev' into dev-ssa
6 years ago
Josselin f967d9ebf4 Merge branch 'master' of github.com:trailofbits/slither
6 years ago
Josselin 7813fdf81d Add support for return(0,) style
6 years ago
Josselin d7ebe32361 Loop parsing: expression -> condition, rather than expression -> begin loop
6 years ago
Josselin bdca73056c Improve subdenomination support
6 years ago
Josselin 0dc548a8b7 Improve the error message if the codebase contains a dupplicate contract names
6 years ago
Josselin 809b36355b Add support for implicit Literal conversion from uint256 -> int256 on signature lookup (close #120)
6 years ago
Josselin 33a8cf4224 Add support for subdenomination
6 years ago
Feist Josselin 438dd33518
Merge pull request #122 from trailofbits/dev-external-function
6 years ago
Josselin af646da29e Update travis tests
6 years ago
Josselin 2acd6d0289 Merge branch 'master' into dev
6 years ago
David Pokora 510aa29b99
Rewrote external-function detector to handle false-positives as a result of inheritance.
6 years ago
Josselin a704635de3 API:
6 years ago
Josselin 57a0918f24 API changes:
6 years ago
Josselin b549a3ed53 Add new APIs to core.contract:
6 years ago
Josselin ede269cc14 Minor
6 years ago
Josselin abc85f0607 Merge branch 'dev' into dev-ssa
6 years ago
Josselin 85eb233a2b Improve parsing of var-like declaration
6 years ago
Josselin c2a541b92d Merge branch 'dev' into dev-ssa
6 years ago
Josselin 8d9e77c5a5 Fix collision on length/balance conversion
6 years ago
Josselin 32ed2dfefd Fix incorrect handling of nested return values
6 years ago
Josselin 873b23fd43 Merge branch 'dev' into dev-ssa
6 years ago
Josselin 2f17fea1a5 Factor _unroll for slithIR call operator
6 years ago
Josselin 6f5cc2201a Merge branch 'dev' into dev-ssa
6 years ago
Josselin fb8693cfc7 Fix incorrect nested while break recovery
6 years ago
Josselin 9d1400b504 Merge branch 'dev' into dev-ssa
6 years ago
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