Josselin 8d9e162eb3 User __str__ for top level user defined type (fix #773) 1 week ago
..
analyses 068d871dfe Optimize transitive_close_dependencies 3 months ago
core 8d9e162eb3 User __str__ for top level user defined type (fix #773) 1 week ago
detectors e0fae81573 Fix incorrect confidence on assert state change detector 2 months ago
formatters c43cdfe437 Fix github super linter 3 months ago
printers 7d3bf292ad Merge pull request #728 from crytic/dev-top-level-elements 2 months ago
slithir d778ed6a02 Improve find_variable 2 months ago
solc_parsing c02c97bfe9 Disable parsing types on memberAccess 2 months ago
tools cd95851094 Add missing this.totalSupply() 2 months ago
utils 6faa08c56a Improve ignore finding feature 2 months ago
visitors 91bfae97b8 Run black 3 months ago
__init__.py 88954ac6d9 Run black 5 months ago
__main__.py 6faa08c56a Improve ignore finding feature 2 months ago
all_exceptions.py 70e609ec28 Fix all pylint issues 5 months ago
exceptions.py 88954ac6d9 Run black 5 months ago
slither.py e89ceb0f1c Merge branch 'dev' into add-slither-ignore 2 months ago