Commit Graph

3271 Commits (8181faeec539ca4b96d14713492953b14d49eb6b)
 

Author SHA1 Message Date
webthethird 8181faeec5 Add docstrings 2 years ago
webthethird f1947bb8e1 Add additional upgradeability utils 2 years ago
webthethird 37554ecda3 Bump to re-run CI tests 2 years ago
webthethird 480ee60cc3 Avoid `slitherConstructorConstantVariables()` 2 years ago
webthethird 596b4d0865 Avoid `slitherConstructorConstantVariables()` 2 years ago
webthethird 770ca81368 Avoid constructor 2 years ago
webthethird 3757601640 Avoid duplicates, constants and immutables 2 years ago
webthethird 6b9d21abc2 Make pylint happy (reduce branches) 2 years ago
webthethird 5b361e8287 Also consider an unmodified function tainted if it reads/writes the same state variable(s) as a new/modified function 2 years ago
webthethird 6b0124c9a0 Merge remote-tracking branch 'crytic/slither/dev' into dev-compare-upgrades 2 years ago
webthethird 04c71c24bb Add return statement (whoops!) 2 years ago
webthethird ebd2201bdd Pylint 2 years ago
webthethird f08d2afb3e Implement `compare(v1: Contract, v2: Contract)` 2 years ago
webthethird ec537e5a44 Merge remote-tracking branch 'crytic/slither/dev' into dev-compare-upgrades 2 years ago
webthethird d04fc9e103 Start `slither.utils.upgradeability` 2 years ago
Feist Josselin b74f64a234
Merge pull request #1685 from crytic/dev-fun-summary-printer-complexity 2 years ago
Feist Josselin 635649207d
Merge pull request #1689 from crytic/0xalpharush-patch-1 2 years ago
alpharush a65ce56f5f
fix spelling 2 years ago
alpharush dc7eb7044c
update and reorganize README 2 years ago
Simone 05defa8710 Add cyclomatic complexity to modifiers 2 years ago
Simone 143223af95 Add cyclomatic complexity to function-summary 2 years ago
Feist Josselin 9779380b80
Merge pull request #1665 from samalws/echidna-enum 2 years ago
Sam Alws 3ad263319a add enums to echidna list of constants 2 years ago
Feist Josselin 20a79519f3
Merge pull request #1624 from crytic/dev-add-types 2 years ago
Feist Josselin 18e094c168 Minor 2 years ago
Feist Josselin abf931289a Minor 2 years ago
Feist Josselin 4e5e1849e4 Fix last 0xalpharush comments 2 years ago
Feist Josselin 486c9ec1a9 Merge branch 'dev' into dev-add-types 2 years ago
Feist Josselin 797735c36c
Merge pull request #1663 from crytic/dev-further-ci-improvements 2 years ago
Feist Josselin d42a74874d Use base ref branch for pylint 2 years ago
Feist Josselin a58fa3df5b Run pylint only on new files 2 years ago
Feist Josselin af9bde06a2 Rename doctor 2 years ago
Feist Josselin 8aa6c2b15f Further CI improvements 2 years ago
Feist Josselin 8b6ac75905 Improve types in detectors 2 years ago
Feist Josselin 83d4d5030f Merge branch 'dev' into dev-add-types 2 years ago
Feist Josselin 9bd166fe43
Merge pull request #1662 from crytic/dev-ci-minor-improvements 2 years ago
Feist Josselin 90efe7adc1
Merge pull request #1660 from crytic/bart1e-detector_for_cc 2 years ago
Feist Josselin 209a07cd96 Improvements to GH actions 2 years ago
Feist Josselin 485bae9267
Merge pull request #1661 from crytic/dev-cancel-action-on-commit 2 years ago
Feist Josselin b7ecc01c45 Cancel action on new commits 2 years ago
Feist Josselin b0f904564b Merge branch 'dev' into dev-add-types 2 years ago
Feist Josselin d0c0a17823 Minor improvements 2 years ago
Feist Josselin 24df353955 Merge branch 'detector_for_cc' of github.com:bart1e/slither into bart1e-detector_for_cc 2 years ago
Feist Josselin 1d52aeaf5c
Merge pull request #1535 from webthethird/slither/dev-upgradeability-complex-datatype 2 years ago
Feist Josselin 82f761ca32 Remove unused import 2 years ago
Feist Josselin 28af1627ee Merge branch 'dev' into dev-add-types 2 years ago
Feist Josselin fa2889d26d
Merge pull request #1641 from crytic/divide-before-multiply-todo 2 years ago
Feist Josselin 023464e37b
Merge pull request #1638 from crytic/add-path-to-lint 2 years ago
Feist Josselin c2cb22d3ed
Merge pull request #1639 from crytic/no-warn-immut-string 2 years ago
Feist Josselin 9997808a6d
Merge pull request #1611 from crytic/dev-yul-constant-variable 2 years ago