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

954 Commits (26609db2fd7b6ebe7c8430852ce53dd2bad447f9)
 

Author SHA1 Message Date
rajeevgopalakrishna cedfe32efa Sync with remote
6 years ago
Josselin 6031907607 Prevent duppliate results at the abstract_detector level
6 years ago
Feist Josselin 6ca0cc1f67
Merge pull request #179 from trailofbits/dev-win-truffle-invoke
6 years ago
David Pokora be860ae19a
Fixed basic truffle invocation for Windows
6 years ago
David Pokora 007ed2a9cc Added possible_paths.py to example scripts: Provides information about all functions/paths which reach specified target functions.
6 years ago
David Pokora 9edf5ad06d
Added possible_paths.py to example scripts: Provides information about all functions/paths which reach specified target functions.
6 years ago
Josselin 976239a996 Add referenced declaration for functions (AST compact pnly) (temporary fix for 177)
6 years ago
rajeevgopalakrishna 39500c092e Iterate over contracts_derived instead of contracts to prevent duplicate results
6 years ago
rajeevgopalakrishna fe997e7030 Fixed minor typos in comments
6 years ago
rajeevgopalakrishna 8344c4edf3 Fixed a typo in detector where *callcode* was specified as *codecall*. Added a test to verify the fix.
6 years ago
rajeevgopalakrishna b3b718101d Fixed minor typos in comments
6 years ago
Josselin 7e75f7de11 v0.6.0
6 years ago
Josselin f970f8c647 Add deterministic results for reentrancy
6 years ago
Josselin 1777759dd0 Add missing file
6 years ago
Josselin bbaa8e541a Rename variablesorder -> variableorder
6 years ago
Josselin 6fb17e9f63 Fix inccorect wiki link to printer
6 years ago
Josselin 5cc07a3608 Update wiki links
6 years ago
Josselin f53151e695 Open source 3 detectors:
6 years ago
Josselin 11eedcceec Fix incorrect cached * information
6 years ago
Josselin 58c138ee2b Minor
6 years ago
Feist Josselin c6df387d7d
Merge pull request #172 from trailofbits/dev-usability
6 years ago
Josselin 8298c11bc8 Rename interactive-mode to triage-mode
6 years ago
Josselin 018eb8f7c0 Merge branch 'dev' into dev-usability
6 years ago
Josselin 5a2bf5a56c API added: library_calls/all_library_calls (for node/functions)
6 years ago
Josselin 229ec27e48 Merge branch 'dev' into dev-usability
6 years ago
Josselin e128adabbc Merge branch 'dev' into dev-usability
6 years ago
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