Commit Graph

116 Commits (1d52aeaf5c699af9aee0a2f62c91849137fe22d0)

Author SHA1 Message Date
alpharush 21a0ba882e do not consider string types as immut cand. 2 years ago
bart1e df912bea5a Old tests removed 2 years ago
bart1e 1af71e695b Tests fixed 2 years ago
bart1e d400d19ffd Tests added 2 years ago
alpharush cfb5c4eedb fix artifact 2 years ago
alpharush 4685eac44f parse semver 2 years ago
alpharush afb7342619 fix constructor var not detected as candidate, separate detectors 2 years ago
alpharush bd673dd6f3 make test function view 2 years ago
alpharush 3c7802f2e9 filter out external visibility and update wiki 2 years ago
alpharush a6ce9961aa change confidence to high 2 years ago
Josselin Feist 3825b1ac49 Add missing json 2 years ago
Josselin Feist d22abb1f45 Improve protected variable detector 2 years ago
Josselin Feist 04217fda53 - Create helpers for VULNERABLE_SOLC_VERSIONS 2 years ago
alpharush 72459a90d4 regenerate artifacts 2 years ago
alpharush fd2fb3352c add var-read-using-this detector 2 years ago
Josselin Feist 3880ad63a1 Minor improvements + testcase 2 years ago
Ardis Lu 82ab9888e6
Add tests for single letter variable name O or I 2 years ago
alpharush faed6d7fb2 update constable-states to consider constructor vars which can be immutable 2 years ago
Josselin Feist d956569474 Update tests 2 years ago
alpharush 0e264b3b84 consider state variable collisions and incorrect return type 2 years ago
alpharush 0d04e17f8c remove pragmas and make syntax compatible 2 years ago
alpharush a17a938a90 use standard test convention, match on sig instead of name 2 years ago
Josselin Feist 81f0e70423 Make results deterministic 2 years ago
Josselin Feist be82a1fe16 Multiple improvements 2 years ago
Josselin Feist d2a93f0225 Update the cross function reentrancy heuristic to work on variable read, and public state variables 2 years ago
Josselin Feist 08994a3971 Filter reentrancies detector based on the nonReentrant modifier 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