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

2020 Commits (aa8653605c95c61d35a6d81ee10b6aec0627f991)
 

Author SHA1 Message Date
Maximilian Krueger aa8653605c type_parsing: parse mapping values that contain ` ` like `struct SortedTroves.Node`
4 years ago
Maximilian Krueger e6f3293675 type_parsing: parse function types with modifiers
4 years ago
Maximilian Krueger b4c792a9e4 type_parsing: parse enums that begin with `type(enum`
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
Alexander Remie e41900288a use self._crytic_compile.target instead of self.filename
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
Josselin d2b1695851 0.6.15
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
Feist Josselin ac554bb0a1
Merge pull request #705 from crytic/dev-doms
4 years ago
Josselin d2bf6ce064 Remove recursion in divide-before-multiplity
4 years ago
Josselin 0442afe79b Optimize immediate dominator computation
4 years ago
Feist Josselin 59ace02822
Merge pull request #703 from crytic/dev-memoize
4 years ago
Feist Josselin 2efe23bb68
Merge pull request #704 from crytic/dev-fix-test-0.7.5
4 years ago
Feist Josselin 08514c753d
Update test_ast_parsing.py
4 years ago
Josselin 8d943dc764 black
4 years ago
Josselin 19ad2e9450 Additional memoization
4 years ago
Feist Josselin a30802f66e
Merge pull request #702 from crytic/dev-get_line_from_offset
4 years ago
Josselin 72c0a1b8d4 Minor
4 years ago
Josselin 3368b52a24 Minor
4 years ago