Commit Graph

2031 Commits (e89ceb0f1c4fe000dcbdb46b5deb83f4121268aa)
 

Author SHA1 Message Date
Josselin e89ceb0f1c Merge branch 'dev' into add-slither-ignore 4 years ago
Feist Josselin 7d3bf292ad
Merge pull request #728 from crytic/dev-top-level-elements 4 years ago
Josselin 6faa08c56a Improve ignore finding feature 4 years ago
Josselin 03af1aaee0 Merge branch 'add-slither-ignore' of https://github.com/josh-richardson/slither into josh-richardson-add-slither-ignore 4 years ago
Josselin d1eee22723 Add __eq__ to SolidityImportPlaceHolder 4 years ago
Josselin 72738bc679 Fix logic on 0.8 tests 4 years ago
Josselin d778ed6a02 Improve find_variable 4 years ago
Josselin 330325a3b9 Adding partial support for top level function 4 years ago
Josselin fe50daaa11 Minor 4 years ago
Feist Josselin 1c12a13b95
Merge pull request #729 from crytic/add-printer-name-to-graph-printers 4 years ago
Feist Josselin b61719550d
Merge pull request #726 from crytic/fix-selffilename-when-cryticcompile 4 years ago
Alexander Remie 03e2a939eb added more descriptive filenames for call-graph and inheritance-graph 4 years ago
Josselin 9c06483954 Add support for top level constant variables 4 years ago
Alexander Remie e41900288a use self._crytic_compile.target instead of self.filename 4 years ago
Josselin c0406c38e8 Minor 4 years ago
Josselin 0a7738d225 Change the way slither handles top level enum/struct 4 years ago
Alexander Remie f8ac87dabf fix set self.filename when using crytic-compile 4 years ago
Josselin e52a2aee0e Update README.md 4 years ago
Feist Josselin 9bc6763c2a
Merge pull request #725 from crytic/dev-unprotected-upgrade 4 years ago
Josselin 0caf6bcdae Fix linters 4 years ago
Josselin 5748de59b4 Remove unused import 4 years ago
Josselin ac109d42f7 Open source unprotected upgrade 4 years ago
Joshua Richardson 790174622e
Addresses PR comments 4 years ago
Josselin d2b1695851 0.6.15 4 years ago
Joshua Richardson 4e17cd9a31
Adds basic slitherignore function, perhaps naive 4 years ago
Feist Josselin f9f40053b3
Merge pull request #722 from crytic/dev-crytic-compile-0.1.11 4 years ago
Feist Josselin 3826d51795
Merge pull request #713 from crytic/dev-external-totalSupply 4 years ago
Josselin 134a3e60f6 Minor 4 years ago
Josselin 192888c806 Use crytic-compile 0.1.11 4 years ago
Feist Josselin ceca250c11
Merge pull request #721 from crytic/dev-test-boolean-constant-misuse 4 years ago
Josselin cd95851094 Add missing this.totalSupply() 4 years ago
Josselin be002405db Merge branch 'dev' into dev-external-totalSupply 4 years ago
Natalie Chin fb1b439491 Fixed black 4 years ago
Natalie Chin 82fd8606ea Added test and json artifact for boolean-constant-misuse 4 years ago
Feist Josselin 7f8ad666bc
Merge pull request #714 from NatalieChin80/dev-test-boolean-equality 4 years ago
Feist Josselin 7fa10b004f
Merge pull request #720 from crytic/dev-fix-legacy-ast-comment 4 years ago
Josselin c3c580702e Run black 4 years ago
Josselin 84c30e8213 Improve support for legacy ast 4 years ago
Natalie Chin 99176f9f88 Removed trailing whitespace for super linter 4 years ago
Natalie Chin 91cb3db445 Fixed linter formatting for test_detectors 4 years ago
Josselin a7d98ce7b0 Merge branch 'master' into dev 4 years ago
Natalie Chin 6c2427a9f1 Renamed test file and added json artifact 4 years ago
Josselin bddf143014 Merge branch 'dev' into dev-external-totalSupply 4 years ago
Feist Josselin 21c9279ecc
Merge pull request #718 from crytic/dev-deterministic-output 4 years ago
Josselin 999fd2994c Fix deterministic output for multiple detectors (fix #486) 4 years ago
Natalie Chin ab5f242505 Added boolean equality tests 4 years ago
Gustavo Grieco c7e83339eb
Allow totalSupply() to be an external method in the ERC20 properties 4 years ago
Feist Josselin 415619dfe9
Merge pull request #707 from crytic/dev-transitive-closure 4 years ago
Josselin 068d871dfe Optimize transitive_close_dependencies 4 years ago
Feist Josselin dae5ddeedd
Merge pull request #706 from crytic/dev-divive_before_multiply 4 years ago