Commit Graph

20 Commits (cd7430dc1d86922deec43921ec2acda291ca0a98)

Author SHA1 Message Date
alpharush 5c40c52ba1 fix(cache-array-length): handle when `HighLevelCall` is a `StateVariable` 1 year ago
bossjoker1 e1febdd74e Check the respective parameter's storage location for each argument 1 year ago
alpharush 1b5e2e9327 update detector tests to reflect event fmt 1 year ago
alpharush 8a5aab62c9
reduce false positives on modifying storage array by value detector (#1962) 1 year ago
Simone adabce6180
Detect when ether is sent in Yul (#1909) 2 years ago
Feist Josselin 649e8d5e94 Minor python improvements 2 years ago
bart1e 0b7257209d External calls handled + output printing changed 2 years ago
alpharush 36142aa3fb do not detect incorrect-shift when rhs is constant 2 years ago
bart1e d1804f3d01 Tests updated 2 years ago
bart1e 32d4bba9ef Tests updated 2 years ago
Simone 6eb296cdf7 Test catch variables not detected as uninitialized 2 years ago
Simone 5afb9355be Improve tuple analysis 2 years ago
alpharush 3cba507cd8 add detector for uses of encode packed that may allow for duplicates encodings 2 years ago
alpharush 05f50867dc use pytest-insta to do snapshot testing for detectors 2 years ago