Commit Graph

13 Commits (0dc2a49d6c50005b64eb3da901abbcf731b94778)

Author SHA1 Message Date
Josselin Feist 81f0e70423 Make results deterministic 2 years ago
Josselin Feist be82a1fe16 Multiple improvements 2 years ago
Feist Josselin d41861e6cf
Add support for enhanced analyses through code comments (#1089) 3 years ago
alpharush bab44b77d2
reentrancy-no-eth: do not count staticcalls as reentrant (#1119) 3 years ago
Josselin 6e58e7e30b Sort the detectors' results by Id 3 years ago
Jaime 5ae6a06ed1 fix issue-887, FP reentrancy in constructor 3 years ago
Josselin 58ae66abc3 Update tests 4 years ago
Josselin 288deec0b9 Refactor source mapping + add new API 4 years ago
Alexander Remie afeb77c444 added DAO contract for reentrancy-eth test 4 years ago
Alexander Remie c4948d2cea deduce test file path from solc version and detector name 4 years ago