Commit Graph

3094 Commits (b0b1c6aa77d6b5b20f4782a46d277ef9cd509073)
 

Author SHA1 Message Date
Josselin Feist 520a9ba569 Merge branch 'dev' into 0xalpharush-patch-1 2 years ago
Feist Josselin 10413a3df3
Merge pull request #1349 from crytic/dev-fix-customer-error-contract-arg 2 years ago
Josselin Feist 08994a3971 Filter reentrancies detector based on the nonReentrant modifier 2 years ago
Josselin Feist 70dff581ed Add function.all_reachable_from_functions and function.is_reentrant 2 years ago
Josselin Feist 831f9dead3 Improve reentrancy detector: 2 years ago
alpharush 3e9859cd89 implement full name for custom error and match on it 2 years ago
Feist Josselin 5b718a197b
Merge pull request #1348 from crytic/0xalpharush-patch-2 2 years ago
alpharush 6819084177
implement eq for literal 2 years ago
alpharush c599972cbf
implement hash for constants 2 years ago
Feist Josselin a2779257de
Merge pull request #1227 from crytic/dev-modifier-identifier-path 2 years ago
plotchy cc9b4630a6 lints fixed 2 years ago
Josselin Feist a34c87812b Add tests for solc 0.8.13+ 2 years ago
plotchy 8d8eb9d685
Update slither/detectors/statements/unprotected_upgradeable.py 2 years ago
Josselin Feist c6cbcf7166 Merge branch 'dev' into dev-modifier-identifier-path 2 years ago
Feist Josselin 5cf102bf01
Merge pull request #1342 from crytic/dev-print-dom 2 years ago
Feist Josselin f34302dc14
Merge pull request #1278 from crytic/exit-code 2 years ago
Josselin Feist eed53dd4b0 minor 2 years ago
Feist Josselin aacb993203
Merge pull request #1339 from aranyadan/dev 2 years ago
Feist Josselin eeeb8bfda0
Merge pull request #1335 from elopez/dev-update-dockerfile 2 years ago
plotchy 1bec56f64e add 0.8.15/0.7.6 tests for disableInitializers 2 years ago
plotchy ab778b3fa0 add _disableInitializers() detection 2 years ago
Josselin Feist 8c8e54b007 Add printer for dominator tree 2 years ago
Aranya Dan d1321a4212 Fixed linting error 2 years ago
Feist Josselin 9d6734c6bc
Merge pull request #1188 from crytic/top-level-yul-identifier 2 years ago
Josselin Feist dd99ba4236 Merge branch 'dev' into top-level-yul-identifier 2 years ago
Aranya Dan f7295533d6 Fixed Pypi Markdown render 2 years ago
Emilio López cc8c3b87f0 Enable Docker workflow for `dev` branch 2 years ago
Emilio López b90531e75d Dockerfile: clean apt state after installing packages 2 years ago
Emilio López ddb8ee2769 Add Docker build and push workflow 2 years ago
Emilio López 9a3b21bb71 Dockerfile: add solc-select 2 years ago
Emilio López b82a082ac7 Dockerfile: upgrade to jammy, separate building from installation 2 years ago
alpharush f7e22a75e1 implement detector for erc20 tokens that have function collision with DOMAIN_SEPARATOR 2 years ago
Josselin Feist 475de74d9b Minor 2 years ago
Josselin Feist a5b326f37d Minor 2 years ago
Josselin Feist 0381589cfd Fix CI 2 years ago
Josselin Feist c32b3e16b7 Simplify CI 2 years ago
Josselin Feist 1c9b05b117 Merge branch 'dev' into exit-code 2 years ago
Feist Josselin 5a6b6309c5
Merge pull request #1134 from crytic/add-oz-sourcehash-checking 2 years ago
Feist Josselin c96e890ad3
Merge pull request #1318 from crytic/htadashi-dev 2 years ago
Josselin Feist 8a8ade792d Fix OZ name 2 years ago
Josselin Feist c3411bee0b Merge branch 'dev' into add-oz-sourcehash-checking 2 years ago
Josselin Feist 36879c057d Improve python types 2 years ago
Josselin Feist 1576e00cc9 Add 0.6.12 2 years ago
Josselin Feist fb0403a730 Merge branch 'dev' into htadashi-dev 2 years ago
Feist Josselin ce9dbf650d
Merge pull request #1311 from crytic/dev-fix-read-storage 2 years ago
Josselin Feist 5287b0aebf Minor 2 years ago
Josselin Feist eaa1ddfb90 Merge branch 'dev-fix-read-storage' of github.com:crytic/slither into dev-fix-read-storage 2 years ago
Josselin Feist 1be96ec97f Merge branch 'dev' into dev-fix-read-storage 2 years ago
Feist Josselin e34fcfab99
Merge pull request #877 from crytic/dev-source-mapping-refactor 2 years ago
Josselin Feist 48b5202551 Minor 2 years ago