Commit Graph

864 Commits (cac1252706a29195a347357b8d4658b01989d4af)

Author SHA1 Message Date
alpharush 801a13e600 add regression test for https://github.com/crytic/slither/issues/2325 9 months ago
alpharush 75c1159d73 add test showing two internal call example is caught 9 months ago
alpharush 04ff85fd65 make it interprocedural (only 1 call deep) 9 months ago
alpharush 69d3c257b4 feat: add out-of-order-retryable ticket detector 9 months ago
alpharush 665b630f48 fix: support inheritance resolution when contract name is reused 9 months ago
alpharush e580b2ff28 pylint 9 months ago
alpharush 3ff3103cfa fix: support renaming in base inheritance and base constructor calls 9 months ago
Simone 18ec60eb2b Update tests 9 months ago
Simone f57c2ca0b3 Detect only assembly blocks 9 months ago
Simone 591c4c0953 Add test 9 months ago
Matt Solomon e876d61fd5
fix: broken doc links (#2299) 10 months ago
Simone 6620bc926e
Fix using for when used with "this" (#2224) 10 months ago
alpharush 4454b3e34a
fix: detect selfdestruct in internal calls (#2232) 10 months ago
Simone a793c3f1b9 Don't report if msg.value is in a conditional expression 1 year ago
Simone 4a33541738 Add support top level events 1 year ago
alpharush b7ba2c48da fix is_reentrant for internal vyper functions 1 year ago
dependabot[bot] a433e3ba66
Bump semver in /tests/e2e/compilation/test_data/test_node_modules 1 year ago
dependabot[bot] e94c582542
Bump @openzeppelin/contracts 1 year ago
Feist Josselin 7f5535fc24 Run black on the test file 1 year ago
Feist Josselin 2a7e514a5d Fix snapshot 1 year ago
Feist Josselin 4a8385813f fix CI 1 year ago
Feist Josselin 538539ba9e Add return-bomb detector 1 year ago
Feist Josselin 4d1d32b63f Add tautological-compare 1 year ago
Feist Josselin f7ab4a734f Add incorrect-exp detector 1 year ago
Judy Wu e11580f188 fix: resolve state variable access in inherited internal functions from derived contracts, closes #1654 1 year ago
Judy Wu 8feb4943d9 Update test to assert expected parameter names 1 year ago
Judy Wu 1cdb2022cb address issue #2127 and allow function parameter name to be empty when casting to string 1 year ago
Feist Josselin 700794971b Release 2 new detectors 1 year ago
Judy Wu f07d506b4a Check s_ and i_ naming convention for private and internal only 1 year ago
alpharush cd000a4eea add tests 1 year ago
Kevin Clancy cc9e65fe13
fix: reorder named arguments to match declaration order (#1949) 1 year ago
Simone f50a126f2c
Improve custom error parsing with constants (#2115) 1 year ago
alpharush 3147396cbf
fix(convert): do not convert array type to elementary for `InitArray` (#2018) 1 year ago
Judy Wu 733012d15c issue #2083: add exceptions for i_ and s_ in the naming-conventions detector 1 year ago
Simone 8d5c033fbe
Improve mapping-deletion detector for nested mappings (#2084) 1 year ago
Simone ddd9d6561f Add IR test 1 year ago
Simone 8b07fe59d5
improve name resolution of type aliases (#2061) 1 year ago
alpharush 53c97f9f48
fix: preserve None tuple components in the left and right liftings of ternary expressions (#2120) 1 year ago
Emilio López 9da51fff3b
detectors: cache_array_length: include source mapping in finding (#2076) 1 year ago
joodiewoodo ff52901e6d
Allow underscore in variable naming convention for internal state variables (#2110) 1 year ago
Simone 1c4730dd11 Improve import aliasing 1 year ago
alpharush 404914cdfa link issues for TODO comments, lint 1 year ago
alpharush e8fa8b85fa more cleanup 1 year ago
alpharush 239369c853 propagate return type on call to state variable with interface type 1 year ago
alpharush e80238d8e9 add struct defs to file scope 1 year ago
alpharush c21798021c fix some lint warnings 1 year ago
alpharush 9df54e9c3a update tests 1 year ago
alpharush 9c4bc505d3 handle break/continue 1 year ago
alpharush 16140f29c8 cleanup and formatting 1 year ago
alpharush 4845a3bd26 fix and refactor comparison operator, add support for raise 1 year ago