Commit Graph

2989 Commits (e524b7299335236024da95a848ae5c53cab3c110)
 

Author SHA1 Message Date
alpharush e524b72993 typo 2 years ago
alpharush 7798f473d2 make it easier to run specific tests and document 2 years ago
Feist Josselin 2e1b50862f
Merge pull request #1528 from crytic/dev-source_unit 2 years ago
Feist Josselin 56096a2d2d
Merge pull request #1542 from crytic/dev-pip-audit-fix 2 years ago
Josselin Feist af2fb96d73 Merge remote-tracking branch 'origin/dev-pip-audit-fix' into dev-source_unit 2 years ago
Josselin Feist 217970fb91 Black 2 years ago
Feist Josselin 518137aba5
Use latest setuptools in CI 2 years ago
Josselin Feist d9ea635a83 Additional updates 2 years ago
Josselin Feist f12e367f29 Update to the latest crytic-compile source unit API 2 years ago
Feist Josselin 7ea572723b
Merge pull request #1522 from crytic/webthethird-dev-upgradeability-comments 2 years ago
Josselin Feist e353256f52 Black 2 years ago
Josselin Feist c75278f2f5 Improvements + tests 2 years ago
Josselin Feist ae5bc478f7 Merge branch 'dev-upgradeability-comments' of github.com:webthethird/slither into webthethird-dev-upgradeability-comments 2 years ago
webthethird 762806c52f Fix access to protected member 2 years ago
webthethird c44cf18831 Add setters for properties 2 years ago
webthethird 5458a614cf Fix formatting 2 years ago
webthethird afced5cc92 Fix test errors 2 years ago
webthethird 5b14dae8b6 Parse version name from custom comment 2 years ago
webthethird f1e653fb18 Call `handle_comment` in init method 2 years ago
webthethird 61c67d8801 Add `upgradeable_version` property 2 years ago
webthethird 2cbbb706ac Handle custom upgradeability comments 2 years ago
Feist Josselin 45f6d71b5c
Merge pull request #1460 from plotchy/abiCall 2 years ago
Feist Josselin 696b42eefa
Merge pull request #1470 from ardislu/dev 2 years ago
Feist Josselin ed8e585bea
Merge pull request #1504 from webthethird/patch-2 2 years ago
Feist Josselin a98a5c4e52
Merge pull request #1513 from bart1e/deterministic-printer-output 2 years ago
Feist Josselin dbc368fe75
Merge pull request #1484 from crytic/detect/self-call 2 years ago
Feist Josselin bcbd072377
Merge pull request #1489 from crytic/remove-push 2 years ago
webthethird 921f692188 Merge remote-tracking branch 'crytic/slither/dev' into patch-2 2 years ago
bart1e 8efde316b0 Printer outputs sorted 2 years ago
William E Bodell III 786148bdfc
Fix `ExtraVariablesProxy` 2 years ago
alpharush bd673dd6f3 make test function view 2 years ago
alpharush 3c7802f2e9 filter out external visibility and update wiki 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
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
Feist Josselin 0dc2a49d6c
Merge pull request #1496 from crytic/dev-fix-dapp 2 years ago
Feist Josselin c80c3ba3b6
Fix dapp 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