Commit Graph

3338 Commits (337ed45bf63cf20cd9e9aa0f6ae1594a609c35e1)
 

Author SHA1 Message Date
S.Sidarth d5a84364b9
black 2 years ago
sidarth16 e48351339c black 2 years ago
alpharush 09a9b907af
restrict variable-scope detector to only solc 0.4.x 2 years ago
Feist Josselin 65f1312703
Merge pull request #1725 from crytic/unitialized-storage-fix 2 years ago
alpharush e26a520766 exclude storage params 2 years ago
alpharush 9acddc3259 include return variables in uninit ptr detector 2 years ago
Feist Josselin 61b7feb61a
Merge pull request #1723 from crytic/dev-sync-cc 2 years ago
S.Sidarth 646fb1e80c
pylint: disable unidiomatic-typecheck 2 years ago
S.Sidarth 181ee42e71
pylint: disable unidiomatic-typecheck 2 years ago
S.Sidarth 611798c634
update deregister_detector() 2 years ago
S.Sidarth 4e2f1ac3cc
deregister_printer 2 years ago
S.Sidarth a42c2cc0d1
deregister_detector 2 years ago
Feist Josselin 36052fdc4e Sync cc@master 2 years ago
alpharush 98d1c50437 lint 2 years ago
alpharush 1616f93364 rm misc files 2 years ago
alpharush 3c0ef74932 fmt 2 years ago
alpharush 17510915fe add test 2 years ago
alpharush 3cc55102c7 fix import 2 years ago
alpharush 166a8cefe2 add test files 2 years ago
alpharush fdd42329a6 only look for library functions in the current scope 2 years ago
alpharush 9e7ff8fd1d support duplicated func name for diff types in global using for 2 years ago
Feist Josselin cf5e3bee6b
Merge pull request #1695 from bart1e/detector_for_cc_fix 2 years ago
Feist Josselin cd9b212c5b
Merge pull request #1711 from crytic/CI-nix-install 2 years ago
alpharush 331cc24d07
upgrade nix installation to fix CI installation 2 years ago
bart1e 5f6551d285 Black run 2 years ago
bart1e 4474bc2c72 WIKI URL fixed 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
Simone 56aaa4da4d Fix TypeAlias in solidity signature 2 years ago
Simone 8135a23704 improve TypeAlias support for echidna 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