Commit Graph

2320 Commits (04c43332d84011ed13a5ee69e8a989058491b945)
 

Author SHA1 Message Date
Feist Josselin 7fd3af04d9
Merge pull request #654 from crytic/bugfix/functioncall 4 years ago
Feist Josselin a198bb304f
Add comments 4 years ago
Feist Josselin 69e64ff8b1
Merge pull request #618 from crytic/bugfix/581 4 years ago
samczsun 8357c7f47f update binary ir op instead 4 years ago
Feist Josselin dbf9df0593
Merge pull request #656 from crytic/dev-refactor-detectors-tests 4 years ago
Josselin b5ba8c25f2 black 4 years ago
Josselin 9ccfe83388 Fix minor and improve support for multiple source mapping 4 years ago
Josselin 243e162c93 Fix ci 4 years ago
Josselin 1fb652fbb8 Merge branch 'dev' into dev-refactor-detectors-tests 4 years ago
Feist Josselin 93575bdba2
Merge pull request #653 from crytic/dev-fix-types 4 years ago
Josselin 1aa48d10d6 Fix minor issues 4 years ago
Josselin 2ee2792064 Refactor detectors tests to use pytest 4 years ago
samczsun 040aaa6f1e linter 4 years ago
samczsun 6d4e1c7fb4 fix all for loop tests 4 years ago
samczsun 6cad9d1919 fix all functioncall tests 4 years ago
Josselin a3daeebfc8 Fix python types 4 years ago
Feist Josselin 6aee221c39
Merge pull request #646 from crytic/feature/skip-assembly 4 years ago
Feist Josselin 665d706625
Merge pull request #635 from crytic/feature/parser-testing 4 years ago
Josselin af2b3a6d98 Fix pylint 4 years ago
Markus Waas 889abf5b02
fix wiki link for naming conventions (#651) 4 years ago
samczsun a45c65c6bf use setuptools 4 years ago
samczsun 92622787da add 0.7.2 files 4 years ago
samczsun be8e916ca7 add some more generated files 4 years ago
samczsun fabe573cb0 clean up pytest 4 years ago
Josselin b703ce39ea Improve github actions 4 years ago
Josselin b8405082e9 Use pytest for ast parsing tests (WIP) 4 years ago
Josselin bc689975ad Add skip_analyze flag to Slither 4 years ago
samczsun 2af66130f6 parser testing 4 years ago
Feist Josselin 081a0717ef
Use unique variable name for yul variable (#648) 4 years ago
samczsun a0e112fb0d don't add dicts to inline asm 4 years ago
samczsun 8d3f1889ec add option to skip yul parsing 4 years ago
Josselin 530d897fb5 Merge branch 'dev' of github.com:crytic/slither into dev 4 years ago
Feist Josselin 0f3f4b80ed
Use crytic-compile@master (#645) 4 years ago
Josselin 71b8b29d9c Use crytic-compile@master 4 years ago
Josselin 4812e33db1 Merge branch 'master' into dev 4 years ago
Sam Sun a7d414fb74
Fix some ValueErrors (#642) 4 years ago
Sam Sun 4c50254ad4
fix magic yul var lookup (#643) 4 years ago
Sam Sun edb212d144
fix state var cfg generation (#632) 4 years ago
Sam Sun df89ea32c1
fix cfg printer filename generation (#633) 4 years ago
samczsun 23346cbe3e make pylint and black happy 4 years ago
samczsun d51a6f38f2 even more improved push ir parshing 4 years ago
samczsun 84aa0bdad6 improve push ir conversion 4 years ago
Feist Josselin fa5e4d4552
Enable github super linter as a cron job (#636) 4 years ago
Chan-Ho Suh d51336cead
Fix mixup of ordering and remove extra description (#639) 4 years ago
Sam Sun 11a895efcc
fix if statement handling for solc 0.7.0+ (#630) 4 years ago
Josselin 0a117b04d5 0.6.13 4 years ago
Feist Josselin b6ca87c6cf
Use crytic-compile#master (#628) 4 years ago
Josselin 60c6f7256f Merge branch 'master' into dev 4 years ago
Feist Josselin 71d1cd36a1
[WIP] Add slither-mutate (#544) 4 years ago
Feist Josselin 1e32faa8bb
Update README.md 4 years ago