Commit Graph

2805 Commits (6ee3adf0a443aefc60dd88b81b4d97d45f898fb4)
 

Author SHA1 Message Date
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
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