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

1380 Commits (c14611ea0286afbd7dec58e90f7ea9d90b41502c)
 

Author SHA1 Message Date
Joran Honig 09c41deb63 Fix node issue
6 years ago
Joran Honig c3d1eb85c3 Pass None as node
6 years ago
Joran Honig 290aaf8198 Add condition not 0
6 years ago
Nikhil Parasaram b259c5e6d4
Merge pull request #323 from norhh/fix
6 years ago
Nikhil Parasaram d0efd35ce2 connect to infura with -l
6 years ago
Nikhil Parasaram da6f8daf15
Merge pull request #317 from norhh/test_fix
6 years ago
Nikhil Parasaram 24fad14cbd fix ethereum to 2.3.1
6 years ago
Nikhil Parasaram 25f76368bc Support 0x0 for extcodesize
6 years ago
JoranHonig 88873206d1
Merge pull request #313 from JoranHonig/features/search_strategy_bfs
6 years ago
Joran Honig eb963d38fd Implement depth first search
6 years ago
JoranHonig a6e9a415d5
Merge pull request #312 from JoranHonig/features/search_strategy_dfs
6 years ago
Joran Honig b82717afed re add max depth for now
6 years ago
Joran Honig b973a1686f Add documentation and fix pop
6 years ago
Joran Honig 5c0e65b2d8 Implementation of a depth first search search strategy
6 years ago
Nikhil Parasaram 96193a01e0
Merge pull request #311 from JoranHonig/bugfix/missing_return
6 years ago
Joran Honig 6bbab6855a Add return statement
6 years ago
Konrad Weiss b1d1127841 Portyng symbolic name formating to the new svm and instructions file structure
6 years ago
Konrad Weiss 45b08081d3 Merge branch 'master' into feature/reformatsymindices
6 years ago
JoranHonig 631ebe07b7
Worklist implementation (#288)
6 years ago
Nikhil Parasaram 1dc9e2a65c
Merge pull request #307 from norhh/bugfix/extcodesize
6 years ago
Nikhil Parasaram 5c349e4a8c Revert Dynld changes
6 years ago
Konrad Weiss 06ddeb13dc Modifies the symbolic suffixes enclosing them into brackets and symplifying them with the z3 simplification algorithm
7 years ago
Nikhil Parasaram 2305f29af2 Fix the argument for dynloader in fire_lasers
7 years ago
Nikhil Parasaram 042d5b0c88 Use dynloader over mythril
7 years ago
Nikhil Parasaram 8c5bc3d85e Add address for the extcodesize stack
7 years ago
Nikhil Parasaram baa67f6ebe Get contract size from infura for EXTCODESIZE
7 years ago
Konrad Weiss 5763ebf1e6 Merge branch 'master' of https://github.com/ConsenSys/mythril
7 years ago
Nikhil Parasaram dc0e93566a
Merge pull request #304 from norhh/bugfix/codesize
7 years ago
Nikhil Parasaram 9d01a6107a Use bytecode as CODESIZE
7 years ago
Nikhil Parasaram 3ba2550354
v0.18.7
7 years ago
Konrad Weiss 675adbae30 Addign computation of minimal encoding length to use for memory initalization when symbolically executing the constructor.
7 years ago
Konrad Weiss beac3f0ccf Change mythril to allow outside specification of custom global state, adding tuple of creation params to the sym wrapper to later reuse parts for custom analysis with for example a provided global state modified from the original
7 years ago
Konrad Weiss 9f140925c0 Using deepcopy for storage and constraints when combining
7 years ago
Konrad Weiss 3535248b81 Add abi to the combined output expected for a contract
7 years ago
Konrad Weiss c8ad82bc87 Add retrieval of constructor trace, using RETURN instead of STOP as exit point
7 years ago
Konrad Weiss 43b27c0290 Modification to mythril to also include abi information in the contract object
7 years ago
Konrad Weiss b18edc8d5d Adding files for source code params to symbolic value mapping
7 years ago
Nikhil Parasaram 1b84ae98ff
Merge pull request #301 from ConsenSys/norhh-patch-1
7 years ago
Dr. Sergey Pogodin a2998f5b50 Revert "Revert "Merge pull request #296 from norhh/branch/295""
7 years ago
Nikhil Parasaram c36ae84096
Add jinja2 version dependency to requirements
7 years ago
Nikhil Parasaram c61a561e42
Merge pull request #300 from joshuata/patch-1
7 years ago
Josh Asplund 87fdd2fa3c
Updates jinja dependency
7 years ago
Nikhil Parasaram e30791ab4a
Merge pull request #299 from norhh/bugfix/297
7 years ago
Nikhil Parasaram 01be304d45 Support max depth arguments for truffle project
7 years ago
Nikhil Parasaram 8a3a74da10 Revert "Merge pull request #296 from norhh/branch/295"
7 years ago
Nikhil Parasaram 6428d9b8cf
Merge pull request #296 from norhh/branch/295
7 years ago
Nikhil Parasaram 5ee53db95b Remove extra space in integer overflow output field
7 years ago
Nikhil Parasaram 35ff192db1
v0.18.6
7 years ago
Nikhil Parasaram 3aec841247
Merge pull request #293 from norhh/feature/263
7 years ago
Nikhil Parasaram ba3181416a add required versions of requirements
7 years ago