Commit Graph

31 Commits (aa562c7a8bdb7913649b3b11d986933d607a9b3d)

Author SHA1 Message Date
Alexander Remie 014bce3a85 add generated expected json output of each test 6 years ago
Josselin 44583294f2 ExternalFunction: Simplify codebase and example 6 years ago
Omidiora Samuel dd1db0a076 added more doc 6 years ago
Omidiora Samuel 0bb9a3c0c0 added to readme 6 years ago
Omidiora Samuel add8216f9d made changes 6 years ago
Josselin dece5ab023 UninitializedStateVarsDetection: Fix incorrect storage parameters add 6 years ago
Josselin 21ff89870c NamingConvention: Check if parameters are used and if state variables are private 6 years ago
Cryptomental c307d1b0d0 detectors: Rewrite unitialized state variables with IR. 6 years ago
Cryptomental 433ca4fcc9 detectors: Add state variables that could be const detector. 6 years ago
Cryptomental 156ba6a9bb detectors: Add low level calls detector. 6 years ago
Cryptomental 1d6cebd991 detectors: Add assembly detector. 6 years ago
redshark1802 495de91217 add Naming Convention Detector 6 years ago
Cryptomental b069d9340e detectors: Add assembly detector. 6 years ago
Josselin 5a27736fce Typo 6 years ago
Josselin a56854887b Add testcase 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 381d97b868 Open source ArbitrarySend detector (WIP) 6 years ago
Josselin 8cc789e18a Update lockedEther testcase 6 years ago
Josselin 39860db4e9 Update Travis tests 6 years ago
Josselin 64231df5ae Add LockedEther detector 6 years ago
Josselin 43f6414d9f Open source unused state variable detector 6 years ago
Josselin a15af96993 Add SlithIR representation (WIP) 6 years ago
Josselin 2aea762600 Open source tx.origin detector 6 years ago
Josselin e6ed6a43c1 Update documentation 6 years ago
Josselin 4d797bb4b7 API changes: 6 years ago