Commit Graph

85 Commits (bf73cd1afb3579237c0e616f0ccebbf64278faf6)

Author SHA1 Message Date
Josselin Feist d956569474 Update tests 2 years ago
plotchy 1bec56f64e add 0.8.15/0.7.6 tests for disableInitializers 2 years ago
Josselin Feist 633e4adf5a regenerate tests 2 years ago
Feist Josselin 0056406b5a
Fix broken tests introduced with #1239 (#1302) 2 years ago
Kyle Baker 6971f3005d
replace-initialize (#1239) 2 years ago
alpharush d5d95feee3
do not warn of digit count if checksummed address (#1193) 3 years ago
alpharush 2c463abdb0
feat: add arbitrary-send-erc20 and arbitrary-send-erc20-permit detectors (#1025) 3 years ago
Tadashi 2e5aa1a20e Added "bad" test cases 3 years ago
Tadashi d15641233d Increased tests coverage 3 years ago
Tadashi 6a4b97b7a7 Improved tests 3 years ago
Tadashi 8ee4150def Fix: skip functions without args 3 years ago
Tadashi 8eede9d95f Detect if function has at least one memory arg 3 years ago
Tadashi e52af99cf0 Added new tests and updated JSON artifacts 3 years ago
Tadashi f295bf35f8 Increased tests coverage 3 years ago
Tadashi 166eaed761 Improved tests 3 years ago
Tadashi 2bf8461099 Fix: skip functions without args 3 years ago
Bo 380f41937c
fix typo in output (#1141) 3 years ago
Tadashi b5db35e7f6 Detect if function has at least one memory arg 3 years ago
Feist Josselin d41861e6cf
Add support for enhanced analyses through code comments (#1089) 3 years ago
alpharush 4b74b62f85
Remove results if functions have onlyProxy modifier (#1122) 3 years ago
alpharush bab44b77d2
reentrancy-no-eth: do not count staticcalls as reentrant (#1119) 3 years ago
Boyan MILANOV c57e272d6c
Ignore private `__gap` variables in shadowing detectors (#1117) 3 years ago
Boyan-MILANOV a5470586ac Update RTLO detector test 3 years ago
Boyan-MILANOV 963ecc9bd9 Add test for RTLO infinite loop 3 years ago
Tadashi aceab1243c Added new tests and updated JSON artifacts 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
Jaime aa5421fc04 fix issue-1029, FP on unprotected-upgrade detector 3 years ago
Jaime 696fcc265f fix issue-929, FP in dead-code detector 3 years ago
Josselin b587d897c7 Update solc version recommendations 3 years ago
Josselin 54c78edd65 Add support for immutable variable 3 years ago
s1m0 9e6bcfab07 Add tests 3 years ago
s1m0 063da82cdf Add tests 3 years ago
s1m0 04c43332d8 Fix undetected cases 3 years ago
s1m0 f026361ad5 Multiple improvements 3 years ago
s1m0 67a7d1726f Multiple improvements 3 years ago
s1m0 63b553fcba Add detector delegatecall in loop 3 years ago
s1m0 c86a0ed4d5 Add detector msg.value in loop 3 years ago
Josselin 58ae66abc3 Update tests 3 years ago
Josselin 288deec0b9 Refactor source mapping + add new API 3 years ago
Michael Colburn 0faf335d29 Add tests for the similar-names detector 4 years ago
Michael Colburn ee8baf581a Add tests for the tautology detector 4 years ago
Michael Colburn 7b94b576f1 Add tests for the divide-before-multiply detector 4 years ago
Michael Colburn 327a95246c Add test for the deprecated-standards detector 4 years ago
Michael Colburn c620f2871f Add test for the multiple-constructors detector 4 years ago
Michael Colburn eb8f774ea5 Add test for the enum-conversion detector 4 years ago
Michael Colburn f894f7979e Add tests for the missing-inheritance detector 4 years ago
Michael Colburn 80808c2299 Add tests for the incorrect-shift detector 4 years ago
Josselin 5c94dfd8af Update abiencoderv2 detector 4 years ago
Josselin 07d06f1f49 Open source write-after-write detector 4 years ago