TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3443 Commits
76 Branches
41 Tags
110 MiB
Tag: Branch: Tree: cf9df6efe4
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'cf9df6efe4'
${ noResults }
Commit Graph

3443 Commits (cf9df6efe47acadc995c62f0edc176274cf176a5)
 

Author SHA1 Message Date
Emilio López a97085e8ad Compilation check
2 years ago
Emilio López de1b7618b7 Platform detection check
2 years ago
Emilio López 7e6ccbb58d Initial slither-doctor structure
2 years ago
Pascal Marco Caversaccio b1ed6b3ad8
use solc 0.8.0 for path filtering test
2 years ago
Pascal Marco Caversaccio f787982922
Update scripts/ci_test_path_filtering.sh
2 years ago
Pascal Marco Caversaccio f6de01afb1
Update tests/test_path_filtering/slither.config.json
2 years ago
Feist Josselin 6ee3adf0a4
Merge pull request #1369 from crytic/dev-improve-m1-docker
2 years ago
Feist Josselin f6fa0e1064
Merge pull request #1377 from crytic/dev-fix-storage-size
2 years ago
Pascal Marco Caversaccio 94159fab12
Merge pull request #1 from pcaversaccio/dev
2 years ago
Simone 928d7f22ce Run black
2 years ago
Emilio López c09aa50c18 Fix early truncation
2 years ago
Emilio López d47dd66579 Fix linting errors
2 years ago
Emilio López 3112f157ca Fix test reference in CI
2 years ago
Emilio López e7e411ba0e Fix detector output
2 years ago
Emilio López 237bb53591 Fix non-numeric literals
2 years ago
Emilio López 2879514f23 Add tests for large and negative constants
2 years ago
Emilio López ce801942ab Unify parsing of integers with convert_string_to_int/fraction
2 years ago
Emilio López 036f7d62f4 Replace Decimal with Fraction
2 years ago
Emilio López 98611e3ae7 Fix parsing of constants
2 years ago
Emilio López 01baf01860 Configure decimal precision to a value able to represent 2**256
2 years ago
Emilio López b563be7af9 Add tests for rational and scientific notation constants
2 years ago
JorgeAtPaladin efe103c79c Constants detector: Also detect Contract types
2 years ago
Emilio López f5f4cb11e9 Dockerfile: add x86_64 libc on non-intel containers
2 years ago
alpharush 0e264b3b84 consider state variable collisions and incorrect return type
2 years ago
Josselin Feist aa4a57d050 Add more types
2 years ago
Simone cc3b342d51 Fix ir for top level function
2 years ago
Simone 90520c591b Add parsing tests
2 years ago
Simone f0439905e0 Improve using for support
2 years ago
Feist Josselin 719e4e98d8
Merge pull request #1359 from crytic/boyan/no-fail-pedantic
2 years ago
Boyan-MILANOV 082dd94e67 Improve help messages
2 years ago
Boyan-MILANOV 994c4438f6 Remove custom argparse action
2 years ago
Boyan-MILANOV 32599e0d2c Fix cli CI test
2 years ago
Boyan-MILANOV 1127eb5c49 Force --no-fail-pedantic on some CI tests
2 years ago
Boyan-MILANOV 40534e1a30 Fix --no-fail-pedantic option parsing
2 years ago
Boyan-MILANOV 0ab3d50fa3 Add --no-fail-pedantic flag and make failing the default behavior
2 years ago
alpharush 0d04e17f8c remove pragmas and make syntax compatible
2 years ago
alpharush a17a938a90 use standard test convention, match on sig instead of name
2 years ago
Feist Josselin 78397b94dd
Merge pull request #1356 from crytic/dev-rec-structure-function-id
2 years ago
Josselin Feist 6dc5856be7 Use a best effort approach for internal function function-id
2 years ago
Josselin Feist 085b60913a Use full_name for solidity signature in case of internal function
2 years ago
Josselin Feist 81f0e70423 Make results deterministic
2 years ago
Josselin Feist be82a1fe16 Multiple improvements
2 years ago
Josselin Feist b6c95e6db9 Minor
2 years ago
Josselin Feist a000d337bf Black & pylint
2 years ago
Josselin Feist d2a93f0225 Update the cross function reentrancy heuristic to work on variable read, and public state variables
2 years ago
Josselin Feist 303ed83736 Merge branch 'dev' into dev-improve-reentrancy
2 years ago
Feist Josselin 243c6da594
Merge pull request #1347 from crytic/0xalpharush-patch-1
2 years ago
Feist Josselin d8e526e53f
Merge pull request #1344 from plotchy/dev_fp_uuc
2 years ago
Josselin Feist 93a1610a0c Fix CI
2 years ago
Josselin Feist 520a9ba569 Merge branch 'dev' into 0xalpharush-patch-1
2 years ago