Commit Graph

3429 Commits (8fcedceb3fcb7746a3e59943c07137ebb50f3e13)
 

Author SHA1 Message Date
alpharush e415501ce0 add issue template for trouble with installation 2 years ago
bart1e bb556ba4da Fix for 'Type not subscriptable' issue 2 years ago
bart1e a1f85c33d8 Requested changes added 2 years ago
bart1e a87c3bc2a2 High cyclomatic complexity detector added 2 years ago
Feist Josselin b6d6294148
Merge pull request #1617 from bart1e/strongly_connected_components_fix 2 years ago
Feist Josselin 818c4851f7
Merge pull request #1599 from CodeSandwich/patch-1 2 years ago
Feist Josselin e02b1f239d
Merge pull request #1603 from crytic/dev-fix-readme-badge 2 years ago
Feist Josselin 676901ad2f Black on test file 2 years ago
bart1e 9d510eccef Strongly connected components algorithm fix + cyclomatic complexity algorithm fix 2 years ago
Feist Josselin fb3c863dc8 Fix support for constant variable lookup in yul 2 years ago
Emilio López 60fd088f30
Fix CI badge in README.md 2 years ago
bart1e 339d6619d8 test_detectors updated 2 years ago
bart1e df912bea5a Old tests removed 2 years ago
bart1e 1af71e695b Tests fixed 2 years ago
Feist Josselin ea8d232f09 Minor API improvements 2 years ago
Feist Josselin 2102725241 Minor codex improvements 2 years ago
Igor Żuk a5f0485fd1
Clarify no need solc on supported platforms 2 years ago
Igor Żuk 2a5f05a626
Clarify requirement of installing solc 2 years ago
bart1e d400d19ffd Tests added 2 years ago
bart1e 62902d74b4 'No uppercase' warning for public vars removed 2 years ago
Feist Josselin 4c976d5af5 0.9.2 2 years ago
Feist Josselin da9736b28f
Merge pull request #1586 from crytic/dev 2 years ago
Feist Josselin 9642d02036
Merge pull request #1584 from crytic/README 2 years ago
Feist Josselin 7c3d8de101 Update README 2 years ago
Feist Josselin e7cbfa97e0 Use crytic-compile@master 2 years ago
Feist Josselin ac4742ff8d
Merge pull request #1576 from crytic/dev-improve-type-alias 2 years ago
Feist Josselin cacfefd1e6
Merge pull request #1579 from crytic/top-level-type-aliases 2 years ago
webthethird 19b3af3449 Merge remote-tracking branch 'crytic/slither/dev' into slither/dev-upgradeability-complex-datatype 2 years ago
Feist Josselin b8ee31421c
Merge pull request #1575 from crytic/dev-private-variable 2 years ago
Feist Josselin fcf93679ac
Merge pull request #1577 from crytic/dev-convert_type_of_high_and_internal_level_call 2 years ago
alpharush 4206739517 add test case 2 years ago
alpharush c2a397e307
Merge branch 'dev' into top-level-type-aliases 2 years ago
alpharush 3646ea4bb8 add tests 2 years ago
Feist Josselin b8ff0b0436
Merge pull request #1574 from crytic/contract-error-selector 2 years ago
Feist Josselin 20206a86aa Improve convert_type_of_high_and_internal_level_call 2 years ago
Feist Josselin 2cb498513e Add type to type_alias 2 years ago
Feist Josselin 33c1fd2c8f Add files 2 years ago
Feist Josselin 4ed2a6adf9 Improve lookup for state variables 2 years ago
Feist Josselin 1c63aa1607
Merge pull request #1573 from crytic/type-alias-using-for 2 years ago
alpharush e21d6eb17b add ast test 2 years ago
alpharush cf7c62bad1 add changes 2 years ago
alpharush b189951617 resolve error referenced as member of contract 2 years ago
alpharush 7569131faa fix type conversion of alias so library function can be found 2 years ago
Feist Josselin 53238600a1
Merge pull request #1571 from crytic/dev-add-no-fail 2 years ago
Feist Josselin fac905bdc5 Merge branch 'dev' into dev-add-no-fail 2 years ago
Feist Josselin aee2a786e3
Merge pull request #1559 from crytic/dev-fix-yul-parsing 2 years ago
Feist Josselin 45c5ed99f5
Merge pull request #1455 from crytic/detect/add-immutable-opti 2 years ago
Feist Josselin 2e4167947a
Merge pull request #1508 from crytic/binary-constant-folding 2 years ago
Feist Josselin b0b1c6aa77
Merge pull request #1569 from crytic/codeowner 2 years ago
Feist Josselin 811dd78b48
Update literal.py 2 years ago