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

576 Commits (438dd3351867ed9875f7b02228249c59bd675759)
 

Author SHA1 Message Date
Josselin 6ee8c9b2dd Fix incorrect conversion of init_array with n dimension
6 years ago
Josselin 5745be7d20 Fix bug when convertir push([1,2])
6 years ago
Josselin 8c34abe1c3 Add constructors to contract.all_functions_called
6 years ago
Josselin 58121ce24d Fix incorrect fixpoint computation in reentrancy detector
6 years ago
Josselin bd5fd2f9f4 Invert order for low level lookup
6 years ago
Josselin 96587d729e Use SolidityVariable in LowLevelCall (allow this)
6 years ago
Josselin fd7ba8167f SlithIR: fix bugs
6 years ago
Josselin 1adc14ddaa Merge branch 'slithir-new-reentrancy' into slithir
6 years ago
Josselin 10b3b4037d SlithIR: improve support for type
6 years ago
Josselin 53d9a9de71 SlithIR: Add support for type (WIP)
6 years ago
Josselin d18ef50f60 Reentrancy: dont consider libraries as callback
6 years ago
Josselin 31d5cf27cb Allow index operation on msg.data
6 years ago
Josselin 5a27736fce Typo
6 years ago
Josselin a56854887b Add testcase
6 years ago
Josselin 25beeb584a WIP: new re-entrnacy heuristic, based on the IR
6 years ago
Josselin 759937cee5 Transfrom this.balance to SolidityFunction
6 years ago
Josselin 64b037ba81 Slithir: fix incorrect conversion
6 years ago
Josselin d270e8d835 SlithIR: improve support of new contract/structure
6 years ago
Josselin 4312f213b0 SlithIR:
6 years ago
Josselin 5faacb0205 Constructor declared as protected function
6 years ago
Josselin b2efb3582b Use of taint in msg.value to reduce arbitrary send FP
6 years ago
Josselin 5c792cc954 Factor taint code
6 years ago
Josselin c4b55e128c Clean import architecture
6 years ago
Josselin 473e6dba2f Reduce arbitrary send confidence until larger testing
6 years ago
Josselin 86736a2f68 Merge branch 'slithir' of github.com:trailofbits/slither into slithir
6 years ago
Josselin 88b37c2b3c Update README
6 years ago
Josselin 37e32e1c6d Clean code
6 years ago
Josselin 381d97b868 Open source ArbitrarySend detector (WIP)
6 years ago
Josselin 9eb9114fa1 Improve taint
6 years ago
Dan Guido 2dc475e275
Update README.md
6 years ago
Dan Guido dbc33e5c68
Note which detectors can from MAIAN
6 years ago
Josselin fcb2110b55 Merge branch 'master' into slithir
6 years ago
Josselin 4e8f4cf6f4 Update README
6 years ago
Josselin 8cc789e18a Update lockedEther testcase
6 years ago
Josselin ca51fcf502 Add missing __init__.py
6 years ago
Josselin 05c9db7f58 Improve LockedEther detector
6 years ago
Josselin 39860db4e9 Update Travis tests
6 years ago
Josselin 4c7b1bd14e Merge branch 'master' of github.com:trailofbits/slither
6 years ago
Josselin c0ba9a7191 API change: contract.functions_all_called -> all_functions_called
6 years ago
Josselin 64231df5ae Add LockedEther detector
6 years ago
Josselin 6216a9ccd7 API change: contract.functions_all_called -> all_functions_called
6 years ago
Dan Guido 20b8fdb7bc
Merge pull request #21 from trailofbits/docker
6 years ago
William Woodruff 4bf5f47364
Dockerfile: Add initial Dockerfile
6 years ago
Josselin f7a0337c24 Fix bugs (incorrect if then else parsing, incorrect - operator)
6 years ago
Josselin accb786037 Fix incorrect CFG recovery of 'else if'
6 years ago
Josselin 8f579bdd82 Better handling of ternary on return statement
6 years ago
Josselin e426f1bc93 Add specific_taint module
6 years ago
Josselin 75cb9c56fb Allow multiple using_for on the same type
6 years ago
Josselin 15b0f2d18a Allow library on address
6 years ago
Josselin b486c8c1fb Add Transfer and Send operation
6 years ago