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

522 Commits (a860e0f96c95bebfd1c591a0bd5a238d4677547c)
 

Author SHA1 Message Date
Josselin 4548a91323 SlithIR: improve the assignment of tmp variable names
6 years ago
Feist Josselin 785ec04988
Merge branch 'dev' into feature/const-state-variables-candidates-detector
6 years ago
Josselin 91cd139202 Update README
6 years ago
Feist Josselin 1452540590
Merge pull request #36 from cryptomental/feature/low-level-calls-detector
6 years ago
Feist Josselin c3878006ab
Update low_level_calls.py
6 years ago
Josselin b9c5df3409 Update travis script to use one detector per testcase (close #37)
6 years ago
Feist Josselin 2035da2f23
Merge branch 'dev' into feature/low-level-calls-detector
6 years ago
Josselin cb85e1023f Merge branch 'master' into dev
6 years ago
Josselin 4b12168a18 Merge branch 'master' into dev
6 years ago
Feist Josselin bcc8dc371c
Merge pull request #34 from redshark1802/feature/naming-convention
6 years ago
Feist Josselin f8c1ce729e
Update README.md
6 years ago
Feist Josselin 64eb44c74e
Update naming_convention.py
6 years ago
Josselin 2066be8d2a Merge branch 'master' of github.com:trailofbits/slither
6 years ago
Josselin b67dcffa92 Merge branch 'rename_printers'
6 years ago
Josselin 98be00c0a4 Initial support of compact AST (WIP)
6 years ago
Praveen Gupta 04a824752f Adds PrinterInheritanceGraph in main.py
6 years ago
Praveen Gupta bd1a056dd9 Adds printer for inheritance and updates inheritance-graph printer
6 years ago
Dan Guido c31763ad4f
Update README.md
6 years ago
Dan Guido 41eeb70065
nit
6 years ago
Cryptomental 433ca4fcc9 detectors: Add state variables that could be const detector.
6 years ago
redshark1802 114b4c9e1c set confidence to high
6 years ago
Cryptomental 156ba6a9bb detectors: Add low level calls detector.
6 years ago
redshark1802 a0cb5ecf83 fix test
6 years ago
redshark1802 b3cd113d2d Merge branch 'master' into feature/naming-convention
6 years ago
Josselin b03386feee Merge branch 'master' into dev
6 years ago
Josselin 1987fe0e8b Update README
6 years ago
Cryptomental 1d6cebd991 detectors: Add assembly detector.
6 years ago
Josselin 6e3b7c2db5 Update README
6 years ago
Josselin c3c8e74ee9 Rename printers
6 years ago
Feist Josselin 5599ee2d06
Merge pull request #31 from cryptomental/feature/inline-assembly-detector
6 years ago
redshark1802 495de91217 add Naming Convention Detector
6 years ago
Cryptomental b069d9340e detectors: Add assembly detector.
6 years ago
Feist Josselin 265a7d6a17
Merge pull request #32 from akhavr/master
6 years ago
akhavr 0352b0652a
Fix typo in the installation instruction
6 years ago
Josselin 1c5f48affe Add slithir printer testcase
6 years ago
Feist Josselin 07db6db185
Merge pull request #20 from trailofbits/slithir
6 years ago
Josselin cb56e28085 Update README
6 years ago
Josselin 9ea0194c43 SlitIR: reduce Assignment operator to pure assignment, convert others to Binary()
6 years ago
Josselin 01a28d869d Merge branch 'master' into slithir
6 years ago
Josselin c021ec92dd If the length of an ArrayType is constant, use its value
6 years ago
Josselin 56079226ef Merge branch 'master' into slithir
6 years ago
Josselin 105b594e47 Add is_constant to Variable
6 years ago
Josselin 029e853116 slithir: Improve library lookup
6 years ago
Josselin 050d593232 SlihIR: Add InternalDynamicCall operator + fix minor bugs
6 years ago
Josselin 0d4e993155 Improve fix point computation for specific taint
6 years ago
Josselin a06ef44038 SlithIr: fix incorrect lib lookup. Re-order type lookup (loop first for contract)
6 years ago
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