Commit Graph

164 Commits (604b59e836723b76633b9ad4bb9c3fde30c09f86)

Author SHA1 Message Date
Feist Josselin f8c1ce729e
Update README.md 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
Cryptomental 156ba6a9bb detectors: Add low level calls detector. 6 years ago
redshark1802 a0cb5ecf83 fix test 6 years ago
Josselin 1987fe0e8b Update README 6 years ago
Josselin 6e3b7c2db5 Update README 6 years ago
akhavr 0352b0652a
Fix typo in the installation instruction 6 years ago
Josselin cb56e28085 Update README 6 years ago
Josselin 473e6dba2f Reduce arbitrary send confidence until larger testing 6 years ago
Josselin 88b37c2b3c Update README 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 4e8f4cf6f4 Update README 6 years ago
Josselin 64231df5ae Add LockedEther detector 6 years ago
Josselin f428e4cb4b AbstractDetector: 6 years ago
Josselin 3d7781aac5 Update README 6 years ago
Josselin 43f6414d9f Open source unused state variable detector 6 years ago
Dan Guido 92e3578f16
Update README.md 6 years ago
Dan Guido 64dbdd17a2
better features list 6 years ago
Dan Guido f1f08de415
Update README.md 6 years ago
Dan Guido b538e52b55
Update README.md 6 years ago
Dan Guido 2700853ee3
Update README.md 6 years ago
Dan Guido 9f17dedd9b
Update README.md 6 years ago
Dan Guido 4d24862b36
Update README.md 6 years ago
Dan Guido 5e092685cc
Update README.md 6 years ago
Dan Guido b9f5340843
Update README.md 6 years ago
Josselin 46419ff12d Update README.md 6 years ago
Feist Josselin ab301facba
Update README.md 6 years ago
Josselin 2aea762600 Open source tx.origin detector 6 years ago
Feist Josselin 456aad2422
Update README.md 6 years ago
Josselin 14643f5eca Update README example 6 years ago
Josselin f7d13240f3 --detect-uninitialized -> --detect-uninitialized-state 6 years ago
Josselin ae255bfb60 Update README 6 years ago
Josselin a0c366a955 Add uninitialized storage var detector 6 years ago
Josselin 6fb297b69e Update README 6 years ago
Josselin 533f94ddfa Only use Impact for classification 6 years ago
Josselin 45062efb9b Update printer to last API changes 6 years ago
Josselin e18be0b483 Add re-entrancy detector 6 years ago
Mark Mossberg 1d45b4aa1f Update README.md (#15) 6 years ago
Josselin d7e15590df Command line changes: 6 years ago
Josselin fbaf655c5a Update README 6 years ago
Josselin 871c08f0a4 Update README.md 6 years ago
Josselin 8ec219b5e2 Update Readme 6 years ago
Feist Josselin 3f9dadec6f
Update README.md 6 years ago
disconnect3d cfe8f89c39 Make a slither package 6 years ago
disconnect3d c53ae2bd32 Make Python 3 great again 6 years ago
Dan Guido 73cca2b76d
Update README.md 6 years ago