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

1204 Commits (4b2ddad163fd1da65a7ce0d5b9b23ebf2c5f8c9a)
 

Author SHA1 Message Date
Feist Josselin 141d8871c9
Merge pull request #230 from crytic/dev-uncheck-return
6 years ago
Josselin dd66061843 Minor
6 years ago
Josselin 0bec4a800f Update travis
6 years ago
Josselin 0aaf44c855 Merge branch 'dev' into dev-uncheck-return
6 years ago
Feist Josselin 01c5bc2d78
Merge pull request #222 from crytic/dev-json-stdout
6 years ago
Josselin 29bbf5547a Merge branch 'dev' into dev-json-stdout
6 years ago
Josselin 5c8ae785a6 Merge branch 'dev' into dev-uncheck-return
6 years ago
Josselin 4353451172 Update README
6 years ago
Josselin 13a734b50e Merge branch 'master' into dev
6 years ago
Josselin 88f08349ec Minor
6 years ago
Josselin 7bf6ba2c31 Merge branch 'dev' into dev-uncheck-return
6 years ago
Josselin 5303b644ba Minor
6 years ago
Josselin b992ecc2c7 Update README
6 years ago
Josselin 9ba8bb8434 Add two new detectors:
6 years ago
Josselin 30736c9f67 Fix incorrect function lookup in case of shadowing
6 years ago
Josselin 8983a9353a Fix minor bug in ConstantFolding
6 years ago
Josselin 7ebda7cb9b Return IR: use _unroll for ir.read
6 years ago
Josselin 1970b4448f Int conversion: support float declaration
6 years ago
Josselin 6b9f219951 Allow early conversion to address
6 years ago
Josselin 62b94d71a7 Improve int conversion (0X)
6 years ago
David Pokora 3f208a6ab7
Split unused-return findings into separate results
6 years ago
David Pokora 3ef17d27d9
Reprioritized elements in locked-ether for most significant source mapping
6 years ago
David Pokora d34570afc1
Updated shadowing-local to output events as events, instead of functions.
6 years ago
David Pokora c449d99f22
Merge branch 'master' into dev-json-additionalfields
6 years ago
Josselin 5fd3821a0e Minor
6 years ago
David Pokora 19271a0710
-Updated node JSON type to "node" from "expression"
6 years ago
David Pokora 472608fa5c
Standardized reentrancy-eth + reentrancy-benign + reentrancy-no-eth detector output (use of provided json functions)
6 years ago
Josselin 024ddef7f2 Incorrect ERC detectors: iterate over contracts_derived to avoid dupplicate
6 years ago
Josselin 0424889d0a Merge branch 'dev' of github.com:trailofbits/slither into dev
6 years ago
Josselin 8a8424ea63 Improve type deduction of Literal (old solc)
6 years ago
Josselin 2c63abe9a8 Update expected json
6 years ago
Josselin f901629a16 Use same json format output for file and stdout
6 years ago
David Pokora 148d3e51ed
-Updated erc20-indexed to use event json function instead of function.
6 years ago
David Pokora 899b46b75d
Split constable-states and erc20-indexed findings into separate results
6 years ago
David Pokora cc74512184
Quick bug fix for lines which were not committed.
6 years ago
David Pokora 49273ca6ef
Adjusted approach to make use of new exception scheme. Encapsulates JSON output with success, error, and results fields regardless of error or success. Disables logging globally.
6 years ago
David Pokora a3506b9d4c
Merge remote-tracking branch 'origin/dev' into dev-json-stdout
6 years ago
David Pokora be7b0de41d
Standardized pragma detector output
6 years ago
David Pokora 04ff692b0c
-Added method to output "other" element type which has a source mapping but does not conform to other known types (used for pragma statements).
6 years ago
David Pokora 625bff8ca2
Standardized constant-function detector output (all elements should have a source mapping, info moved to additional_fields field).
6 years ago
ggrieco-tob ee37919ca7 fixed test
6 years ago
ggrieco-tob 96c9417705 removed useless module
6 years ago
ggrieco-tob 2664045e6f added installation of requisites
6 years ago
ggrieco-tob b00b375520 added installation of requisites
6 years ago
ggrieco-tob 3ec2a49b43 Merge branch 'dev-simil' of ssh://github.com/trailofbits/slither into dev-simil
6 years ago
ggrieco-tob c41bddd393 added basic tests for slither-simil
6 years ago
ggrieco-tob 92a0ca0e22 fixed bug in simil info
6 years ago
Feist Josselin 7752999de6
Merge pull request #229 from crytic/dev-exception
6 years ago
Feist Josselin 49df90a3b7
Merge branch 'dev' into dev-exception
6 years ago
Feist Josselin f8244eb1b6
Merge pull request #228 from crytic/dev-human-summary-printer
6 years ago