Commit Graph

2131 Commits (4d8181ee0e8e5b767c84b93d9b24a510169b6e97)

Author SHA1 Message Date
webthethird 4d8181ee0e Check `contract.functions_entry_points` instead of `function.visibility` 2 years ago
webthethird 631f124d32 Include custom errors in `generate_interface` 2 years ago
alpharush a31282b483 make web3>=6.0.0 a dependency 2 years ago
webthethird 6284e0ac44 Pylint and black 2 years ago
webthethird 67ece635f0 Revert unnecessary imports 2 years ago
webthethird c507b3b99f Move code generation to a new util 2 years ago
webthethird 0df2c23eee Include events in `Contract.generate_interface` 2 years ago
webthethird 5a25c81a52 Locally import Contract to resolve pylint 2 years ago
alpharush f67c96b827
update filter-paths help 2 years ago
Simone 6236e54b3e Improve top level functions format 2 years ago
alpharush 3861029145 inspect whether package is installed 2 years ago
alpharush 12682c3094 make slither-read-storage dependencies explicit 2 years ago
alpharush 20ca59946d lint 2 years ago
Feist Josselin ae5af4ee00 Print warning 2 years ago
Feist Josselin 8c58abe6ad Fix linters 2 years ago
alpharush 5498e1b609
fix stdout capture 2 years ago
S.Sidarth 660ccb9751
rename to unregister_printer() 2 years ago
S.Sidarth 9b69da1cc8
isinstance() 2 years ago
S.Sidarth 275be58a55
isinstance() 2 years ago
S.Sidarth 3850cf57e3
renaming to unregister_detector() 2 years ago
Feist Josselin 76d8321401 Improve parsing of contract's comment 2 years ago
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
webthethird 289bd49c3e Black format 2 years ago
webthethird 9238efc1a4 Change contract type to address in `interface_signature_str` 2 years ago
webthethird 9e70c3ff88 Fix typo 2 years ago
webthethird 772710cded Fix typo 2 years ago
webthethird 6a2250f60d Add `Contract.generate_interface` 2 years ago
webthethird 4da0fb5110 Add `Structure.interface_def_str` 2 years ago
webthethird 197ccb1048 Add `Function.interface_signature_str` 2 years ago
alpharush e26a520766 exclude storage params 2 years ago
alpharush 9acddc3259 include return variables in uninit ptr detector 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
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
bart1e 5f6551d285 Black run 2 years ago
bart1e 4474bc2c72 WIKI URL fixed 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
Sam Alws 3ad263319a add enums to echidna list of constants 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