TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
956 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: d0a3858400
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'd0a3858400'
${ noResults }
Commit Graph

151 Commits (d0a3858400b727bdc5c927487e0dcc69ca1ef14d)

Author SHA1 Message Date
step21 5403fc9148 fixed os.path.join
7 years ago
step21 b4968b9732 removed semver, used os-path.join, more correct and robust checking for compiler
7 years ago
step21 9e604a008a solc versioning
7 years ago
Bernhard Mueller 68bcb0ab0d Fix variable naming conflict
7 years ago
Bernhard Mueller 2b322357a2 Alter compile_solidity functions args
7 years ago
Bernhard Mueller 315f8593b7 Handle IPC exceptions
7 years ago
Bernhard Mueller 97ecda7785 Make local IPC the default
7 years ago
Bernhard Mueller e2972e8262 Handle database sync exceptions
7 years ago
Bernhard Mueller aa92d702e5 Update help
7 years ago
Bernhard Mueller 379fd8c19e Add exception handling
7 years ago
Bernhard Mueller 75dbbe6ae9 Add truffle.py, fire_lasers returns report
7 years ago
Gerhard Wagner bf234672dd bug fix
7 years ago
Gerhard Wagner 0961339f93 storage can read more elements and also arrays
7 years ago
Bernhard Mueller 5972788393 Add --truffle argument
7 years ago
Bernhard Mueller 0acea5b18f Restructure command line arguments
7 years ago
Bernhard Mueller ef4064fdcf Remove trace command
7 years ago
Bernhard Mueller 2f3e35fcd0 Add '--ganache' rpc preset
7 years ago
Bernhard Mueller f57c30310b Usability: Auto-create data dir and sigs file
7 years ago
Bernhard Mueller eaf7dbe7ea Add cmdline argument for configuring symbolic exec depth
7 years ago
Bernhard Mueller 775152b1ce Handle invalid contract addresses
7 years ago
Bernhard Mueller 1bde830092 Handle non-existant contract address
7 years ago
Bernhard Mueller a6d877c53b Refactor RPC/IPC argument processing
7 years ago
Bernhard Mueller 1bd81449ac Change the way signatures are saved and processed
7 years ago
Bernhard Mueller 53a01679f9 Update report structure
7 years ago
Bernhard Mueller f89b0f8b5c Add unchecked_retval test:
7 years ago
Bernhard Mueller 8536d2da0e Fix incorrect parenthesis
7 years ago
Bernhard Mueller b2a98af911 Improve exception handling for RPC and IPC errors
7 years ago
Bernhard Mueller 3ef0d2bb40 Add cmdline utility for reading storage
7 years ago
Bernhard Mueller 91741e1ca8 Add cmdline utility for reading storage
7 years ago
Bernhard Mueller c11dfd62db Fix wrong argument name
7 years ago
Bernhard Mueller d746ab1043 Experimental security tests
7 years ago
Bernhard Mueller 3c6f35a771 Refactor and update unit test
7 years ago
Bernhard Mueller 0e3597bd69 Add statespace class
7 years ago
Bernhard Mueller cc17f7ee90 Integrate security tests
7 years ago
Bernhard Mueller c6a8ceb366 Dynamic loader now works in code analysis
7 years ago
Bernhard Mueller 2f8a2f14b2 Bump LASER version
7 years ago
Bernhard Mueller ce64d13e3f Add solc error handling
7 years ago
Bernhard Mueller e7ed3c2b7d Add dynamic loader (experimental)
7 years ago
Bernhard Mueller afd80c3f67 Add dynamic loader
7 years ago
Bernhard Mueller 9067bcc931 Module names
7 years ago
Bernhard Mueller 3d76f4e15f Update unit test
7 years ago
Bernhard Mueller 647dda765e Refactor
7 years ago
Bernhard Mueller 35ce848e2d Fix graph generator bug
7 years ago
Bernhard Mueller 5b13432f15 Update setup.py & requirements.txt
7 years ago
Bernhard Mueller 9ebb8c380c Refactor
7 years ago
Bernhard Mueller 2242bd7a11 Update cmdline tool
7 years ago
Bernhard Mueller d5242df5cf Add more tests
7 years ago
Bernhard Mueller dd5c4fb7a6 Fix -c arg
7 years ago
Bernhard Mueller 96986960a5 Add SVM/CFG test
7 years ago
Bernhard Mueller 6dbf651adb Update callgraph.py
7 years ago