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

551 Commits (1f5777fdc088dff4a6bf6c4718e340a3b9929046)
 

Author SHA1 Message Date
Josselin d6806f0763 Merge branch 'master' of github.com:trailofbits/slither
6 years ago
Josselin 48407e7413 Minor
6 years ago
Josselin cda70afb20 Merge branch 'master' into dev
6 years ago
Josselin 3339ebd8fa Merge branch 'dev-fixes' into dev
6 years ago
Josselin 95e94beb32 Import contract summary printer
6 years ago
Josselin 91084f81a2 Fix inheritance_graph
6 years ago
Disconnect3d 56fc136988
Fix double apostrophe (#75)
6 years ago
Josselin cc64b0a594 Minor detector improvements
6 years ago
Josselin 6a1c98434b Improve ConstantPragma output
6 years ago
Josselin 54d140e24e Update deletegall heuristic
6 years ago
Josselin 2018cdcf21 Update README
6 years ago
Josselin 4eb264688c ControlledDegatecall: improve heuristic
6 years ago
Josselin 20b7a29e38 Update confidence of controlled delegatecall
6 years ago
Josselin 1f1e31c526 ControlledDelegatecall: add suport for codecall
6 years ago
Josselin 866e219041 New detector: controlled delegatecall
6 years ago
Josselin e3634b3ad5 Typo arbitrarySend
6 years ago
Josselin dabffe3630 API taint changes:
6 years ago
Josselin 62d73f212d Update human summary printer
6 years ago
Josselin 5f256f4761 Merge branch 'dev' of github.com:trailofbits/slither into dev
6 years ago
Josselin 5db1510714 Add human printer example
6 years ago
Josselin 95b09cc708 Merge branch 'dev-printer-human-readable' into dev
6 years ago
Josselin 1048c61185 Merge branch 'dev' into dev-printer-human-readable
6 years ago
Ben Stewart 4f1970351e
Update slither/utils/code_complexity.py
6 years ago
Ben Stewart fb1abacfdc
Update slither/core/declarations/contract.py
6 years ago
Disconnect3d fff9db469a
Update slither/printers/summary/printer_human_summary.py
6 years ago
Disconnect3d c4fcf4ffb9
Update slither/printers/summary/printer_human_summary.py
6 years ago
Disconnect3d f3df6752b9
Update slither/printers/summary/printer_human_summary.py
6 years ago
Disconnect3d acfafee4fe
Update slither/printers/summary/printer_human_summary.py
6 years ago
Disconnect3d 0ca1865f9b
Update slither/utils/code_complexity.py
6 years ago
Disconnect3d 40c9999b10
Update slither/printers/summary/printer_human_summary.py
6 years ago
Josselin e4599ed940 Fix incorrect read information for assignement
6 years ago
Feist Josselin 50fa7fd8ef
Merge pull request #74 from rmi7/normalize-detectors-json-output-function-properties
6 years ago
Alexander Remie 591dd99e9a regenerate expected json output of tests
6 years ago
Alexander Remie 17bd0ea5d3 normalize detectors json output function properties: func, function, function_name -> function | funcs, functions -> functions
6 years ago
Josselin 375e56e282 Add Uninitialized local variable detector
6 years ago
Josselin 12a52f0ffa Fix incorrect pragma json output
6 years ago
Josselin 70e0318b90 Merge commit '693d4d12095ac5a8db0e40594afa840ba6501366' into dev
6 years ago
Josselin 0a1d1e2d77 Merge branch 'dev' of github.com:trailofbits/slither into dev
6 years ago
Josselin 5c238c9c93 Change --printers to --print and --detectors to --detect (close #71)
6 years ago
Feist Josselin 4ee18c992c
Merge pull request #72 from trailofbits/dev-refactor-output
6 years ago
Alexander Remie 693d4d1209 improve python script
6 years ago
Alexander Remie 1994e35fad improve comment
6 years ago
Alexander Remie ab5fb8371e regenareted tests expected json output
6 years ago
Alexander Remie de05b1fdad sort shared_props list of strings, which is a set (and thus does not keep order between runs)
6 years ago
Alexander Remie 0b7f0c47fb regenareted tests expected json output
6 years ago
Alexander Remie 11132a628e replace basestring with str
6 years ago
Alexander Remie ded2359bdf typo
6 years ago
Alexander Remie 257058e80b rename list var to l
6 years ago
Alexander Remie 8bf5e96140 cast filter output to list
6 years ago
Alexander Remie 284fea7a4f regenerate json output using new sort-json python script
6 years ago