Commit Graph

3533 Commits (d1b9e8288900d6b7d75025b3f589adec0b68a045)
 

Author SHA1 Message Date
Simone 2d41b962a9 rename FileScope.usingFor to using_for_directives 2 years ago
alpharush 819fb77a6b
Merge branch 'dev' into dev-fix-usingfor 2 years ago
alpharush 59b9b0392d analyze all inherited contracts' using for directives first 2 years ago
alpharush ca252f1472 spelling and linting 2 years ago
alpharush a1343a8df5 update function name 2 years ago
alpharush a1a0abe17d support parenthetical ternary expr and update tests 2 years ago
Feist Josselin 5314d7653a
Merge pull request #1488 from crytic/ssa-copy 2 years ago
Feist Josselin f3fc106e5c
Merge pull request #1487 from crytic/update-missing-events-wiki 2 years ago
alpharush a6ce9961aa change confidence to high 2 years ago
alpharush e77b36c8c8 Merge branch 'dev' into ssa-copy 2 years ago
alpharush eb49e396fd support ternaries in both call options, refactor index access 2 years ago
Josselin Feist 3537b95661 Improvements 2 years ago
Josselin Feist bc2b176051 Merge branch 'dev' into dev-doc 2 years ago
Feist Josselin 023f49d9e6
Merge pull request #1497 from crytic/dev-protected-var 2 years ago
Feist Josselin adb3eb1abf
Merge pull request #1498 from crytic/dev-codex 2 years ago
Josselin Feist f62433bd50 Create utils.codex 2 years ago
Richie 00d33c6e78
feat: parameterize OpenAI inputs 2 years ago
Josselin Feist 5763c7431b black 2 years ago
Josselin Feist c02231ff1c Add Codex vuln detector 2 years ago
Josselin Feist e532d573a8 Merge branch 'dev' into update-missing-events-wiki 2 years ago
Josselin Feist 89dee16b06 Merge branch 'dev' into remove-push 2 years ago
Josselin Feist 3825b1ac49 Add missing json 2 years ago
Josselin Feist d22abb1f45 Improve protected variable detector 2 years ago
Josselin Feist 2d64e16fad Reenable dapp 2 years ago
Josselin Feist f4299f758e Merge branch 'dev-doc' of github.com:crytic/slither into dev-doc 2 years ago
Josselin Feist 05fb191731 Merge branch 'dev' into dev-doc 2 years ago
Feist Josselin 0dc2a49d6c
Merge pull request #1496 from crytic/dev-fix-dapp 2 years ago
Feist Josselin c80c3ba3b6
Fix dapp 2 years ago
Feist Josselin b484bde1f3
Update ci.yml 2 years ago
Josselin Feist c38c4cb237 Fix CI 2 years ago
Josselin Feist e7aa92bbb0 Use Codex to generate solidity documentation 2 years ago
alpharush cfb53e8200 support ternary in call value 2 years ago
alpharush 1ee3593988 remove unused PUSH operation from IR 2 years ago
alpharush 8ad3ea7555 copy event arguments during ssa conversion 2 years ago
alpharush 7648a87191
update missing events wiki 2 years ago
Feist Josselin 16a5098bc3
Merge pull request #1485 from crytic/devtooligan-1476-refactor-vulnerable-solc-version 2 years ago
Josselin Feist 04217fda53 - Create helpers for VULNERABLE_SOLC_VERSIONS 2 years ago
Josselin Feist 36711ed630 Merge branch '1476-refactor-vulnerable-solc-version' of github.com:devtooligan/slither into devtooligan-1476-refactor-vulnerable-solc-version 2 years ago
alpharush 83f74f10c9 appease pylint 2 years ago
alpharush 72459a90d4 regenerate artifacts 2 years ago
Richie 2412f834f0
fix: add type 2 years ago
alpharush fd2fb3352c add var-read-using-this detector 2 years ago
Feist Josselin b96beeaa57
Merge pull request #1483 from crytic/mds1-feat/disable-start 2 years ago
alpharush cf5d04f290 ignore openzeppelin contracts 2 years ago
Josselin Feist 3880ad63a1 Minor improvements + testcase 2 years ago
Josselin Feist a16202af02 Merge branch 'feat/disable-start' of github.com:mds1/slither into mds1-feat/disable-start 2 years ago
Josselin Feist e292c67082 Merge branch 'dev' 2 years ago
Feist Josselin 133c1a16f1
Merge pull request #1351 from crytic/dev-improve-reentrancy 2 years ago
Feist Josselin 1ca59ab0b6
Merge pull request #1449 from crytic/chore/typo 2 years ago
Josselin Feist 4c5a5a89fe Fix all_reachable_from_functions 2 years ago