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

878 Commits (108851ac9e1ba57699582963a82f1b814407c26f)
 

Author SHA1 Message Date
Feist Josselin 428a1e3462
Update README.md
6 years ago
Feist Josselin e377258b81
Update README.md
6 years ago
Josselin bd01d1bc37 Fix typo
6 years ago
Josselin 41fc20ae90 Data depenencies printer: add example and improve output
6 years ago
Josselin 3665108cf8 Update travis test to fixed solc version/pragma json
6 years ago
Josselin 982a0a63ab Fix incorrect json output format for ConstantPragma and IncorrectSolc
6 years ago
Josselin 2deecb3ddf WIP: add support for config file
6 years ago
Josselin a9e434ab08 Fix incorrect json output format for ConstantPragma and IncorrectSolc
6 years ago
Josselin 4e37117fc8 Add basic interactive mode support
6 years ago
Josselin 63453a6b66 Clean slither/slither.py initialization
6 years ago
Josselin 3731a8c5a6 Merge branch 'dev' into dev-usability
6 years ago
Josselin d6594f2f87 Add support of Type for SSA (abi.decode() takes a type as argument)
6 years ago
Josselin c92f8a3e7a Add new command lines:
6 years ago
Josselin 31eba6c97c Merge branch 'dev' into dev-database
6 years ago
Josselin a7cfcf7ae8 Add missing files
6 years ago
Josselin 821d385f33 Improve SSA code readability + add support for tuple ssa conversion
6 years ago
Josselin ece8e324ce Improve truffle auto version parsing
6 years ago
Josselin c0f9f09b59 Fix missing support for this.variable() in reentrancy detector
6 years ago
Feist Josselin 6bad498509
Merge pull request #161 from trailofbits/dev-legacy-usertypename-parsing
6 years ago
Josselin f468cda4c1 Change:
6 years ago
Josselin ca1fe79ac3 Merge branch 'master' into dev
6 years ago
Josselin fe6789bdc5 Fixed:
6 years ago
Josselin ecebd0414d WIP database
6 years ago
Josselin 1757618fb4 Data depencies: use fix point for function depenencies (fix #171)
6 years ago
Josselin 02661eb0ff Improve reentrancy heuristic: ignore call to this. if the destination is reentrancy-safe (close #127)
6 years ago
Josselin 0ad077755e Unused variable: Check for array length expressions (fix #167)
6 years ago
Josselin 3dbe807aad Improve inheritance graph printed message
6 years ago
Josselin 4154f79f75 Merge branch 'dev' of github.com:trailofbits/slither into dev
6 years ago
Josselin 5f0cae387f Improve code readability of major modules:
6 years ago
David Pokora 03ab0cdeb2
Updated inheritances_graph printer examples.
6 years ago
David Pokora ae90ff1343
Darker gray on indirect shadowing information in inheritance-graph
6 years ago
Josselin d22e53fdfe Improve reentrancy heuristic: Only skip view/pure/variable calls if Solidity 0.5 is used
6 years ago
Josselin ea599c4efd Truffle: fix minor bug in truffle cmd declaration
6 years ago
David Pokora e8e112c89b
Fixed an issue where 'type' node would not exist on old solc in legacy-ast.
6 years ago
Josselin 367ba02562 Add WIKI link to printers (close 164)
6 years ago
Josselin 15a9215a0b Add WIKI to Detector mandatory fields
6 years ago
Josselin 78a0290c4a Merge branch 'master' into dev
6 years ago
Josselin 7efc087c74 Improve printer documentation
6 years ago
Josselin a1e51e66a3 Merge branch 'dev' of github.com:trailofbits/slither into dev
6 years ago
Josselin 1189014530 Merge branch 'dev-legacy-forloop' into dev
6 years ago
Josselin b539a5f199 Add slithir.operation.unroll as a general util (slither.utils.utils). Use unroll on fix_phi operations
6 years ago
Feist Josselin e4bb2af510
Merge pull request #169 from trailofbits/dev-legacy-forloop
6 years ago
Feist Josselin e1d8d5045e
Merge pull request #166 from trailofbits/dev-inheritance
6 years ago
David Pokora 43fa54dde3
Fix an issue where legacy-ast would fail to detect missing loop components, causing the iterator to be parsed as the initializer, and the loop block to be parsed as the iterator (causing failure).
6 years ago
Josselin bf249d9724 Fix incorrect indent
6 years ago
Feist Josselin 60f3d14889
Update inheritance_graph.py
6 years ago
David Pokora d1fe98c3f0
Changed inheritance_analysis to provide global functions instead of wrapping them in an abstract class with static functions.
6 years ago
Josselin f8897c3f8f Clean import detectors/printer in slither/__main__.py
6 years ago
David Pokora 77412d22c7
Fixed issue with contract detection in inheritance-graph
6 years ago
David Pokora f0f210cd2c
* Changed inheritance-graph to only highlight direct shadowing, and only provide additional information for indirect conflicts.
6 years ago