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

1519 Commits (b28130cb8ef8a50d8d290a1b28f63f12d58c93a8)
 

Author SHA1 Message Date
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
Nikhil Parasaram 54ce972f45 remove persistence usage for search
7 years ago
Nikhil Parasaram a80879f688 use codecs to convert to utf-8
7 years ago
Nikhil Parasaram a5a8cdaf9b support utf-8 for configparser
7 years ago
Nikhil Parasaram 6937285399 refactor search feature
7 years ago
Nikhil Parasaram 1d5813a19c
Merge pull request #287 from norhh/bugfix/286
7 years ago
Konrad Weiss 62ae88b652 Adding chaining of transactions, using z3 substitution to carry over intertransactional sym. values and combine constraints. Usage of z3 simplification on a (currently only) singular constraint value. and satisfiability checking to consider only valid transactions.
7 years ago
Nikhil Parasaram d6bc09e2e9 add typecheck for the contracts
7 years ago
Nikhil Parasaram 9b5ae7acb7
Merge pull request #1 from ConsenSys/master
7 years ago
Bernhard Mueller 4559d5f897 Merge branch 'master' of github.com:ConsenSys/mythril
7 years ago
Bernhard Mueller fbfa16a1b5 Bump version number
7 years ago
Bernhard Mueller 5b1aa40345
Merge pull request #284 from JoranHonig/bugfix/272
7 years ago