Commit Graph

4305 Commits (98f37bc288852c6c4a1b881617e72099e0d934e2)
 

Author SHA1 Message Date
0xGusMcCrae 3861ea3e04 add interface to ci.yml 2 years ago
0xGusMcCrae 92c06c4f4a add tool slither-interface 2 years ago
alpharush 6649f14ddd run markdowlint 2 years ago
alpharush 6e08172e8b lint bash 2 years ago
alpharush 90a5977101 Merge branch 'dev' into add-generic-taint 2 years ago
alpharush 6e781e1c58 update slither-flat test cases, run solc out its output 2 years ago
Simone fa8087ab06 Parse assembly in modifier 2 years ago
devtooligan 34a343e36c
feat: ck printer 2 years ago
alpharush 7fc4d8714c remove modulo binop from `can_be_checked_for_overflow` 2 years ago
alpharush 507795baaa
Merge pull request #1892 from daog1/fix_abidecode 2 years ago
Feist Josselin c75deea2eb
Merge pull request #1802 from webthethird/dev-generate-interface-code 2 years ago
Feist Josselin c9150557c9
Merge pull request #1890 from crytic/fp/strict-equality 2 years ago
Feist Josselin c1ae06ab19
Merge pull request #1891 from crytic/fp/incorrect-shift 2 years ago
Feist Josselin df0b7cea4a
Merge pull request #1856 from crytic/dev-remove-assertion 2 years ago
daog1 2002312b9f fix abi decode 2 years ago
alpharush abcef3015a remove unused import 2 years ago
alpharush 92b2147cbe lint 2 years ago
alpharush e42408bc45 lint 2 years ago
alpharush 36142aa3fb do not detect incorrect-shift when rhs is constant 2 years ago
alpharush 2d65116392 reduce false positives for incorrect-equality on struct fields 2 years ago
alpharush 9e36a79beb Merge branch 'dev' into HEAD 2 years ago
devtooligan 7eb270adef
feat: halstead printer 2 years ago
alpharush 6a77485da8
Merge pull request #1887 from crytic/ci-pip-audit 2 years ago
alpharush 1ebf7d27c7
update pip audit action to pypa and bump version 2 years ago
webthethird 0a1699588d Black 2 years ago
webthethird 457b80c8ce Handle legacy AST too 2 years ago
bart1e 9cc616e4cc Old tests removed 2 years ago
bart1e d1804f3d01 Tests updated 2 years ago
bart1e 71fef2c437 'unsupported operand type' error fix 2 years ago
bart1e f48189951b Detector for array length caching added 2 years ago
bart1e 32d4bba9ef Tests updated 2 years ago
bart1e 5a450a07e0 Black run 2 years ago
bart1e 4f67630990 Detector for incorrect using-for at the top level added 2 years ago
devtooligan 201b4dfcfe
feat: halstead printer 2 years ago
devtooligan bcf570ebb6
feat: loc printer 2 years ago
webthethird 80ac920b0a Black 2 years ago
webthethird d902457027 Fix typo 2 years ago
webthethird d7ef6853b2 Fix implicit returns after parsing Yul blocks 2 years ago
webthethird ee5a7907d8 Add `nodes` property getter to `YulBlock` 2 years ago
webthethird c0764c9639 Merge branch 'dev-upgradeability-utils' into dev-named-implicit-returns 2 years ago
webthethird 382c5b908c Create `RETURN` node for implicit (named) returns 2 years ago
Will Fey a4589b0769 ran black to fix check 2 years ago
Will Fey eaf5cb723d Catch AssertionError and log context and raise again while parsing 2 years ago
Simone e51cee61b3 Add test 2 years ago
Simone 6eb296cdf7 Test catch variables not detected as uninitialized 2 years ago
Simone 50876cf368 Handle when there aren't return variables 2 years ago
Simone d7b0d612c6 Improve handling of multiple return variables 2 years ago
alpharush 176c85c092
Merge pull request #1868 from crytic/ci/update-super-linter-org 2 years ago
alpharush 34f0e671f5 update super-linter org 2 years ago
William Aaron Cheung c412ca72f6
Merge branch 'dev' into array-type 2 years ago