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

1550 Commits (3d24c4fa1609c096f37569bf83ffd7044a54d63f)
 

Author SHA1 Message Date
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
Joran Honig e5a19c84df Use isinstance
7 years ago
Bernhard Mueller 9e2c51b513
Merge pull request #282 from norhh/bugfix/281
7 years ago
Nikhil Parasaram 4c91fc2bca add type condition to jump
7 years ago
Bernhard Mueller 1e6e46fe02
Merge pull request #280 from norhh/native_branch
7 years ago
Nikhil Parasaram 6410a0f538 add native contracts
7 years ago
Konrad Weiss df6a88e062 Building transactionchains of up to length 4 for trial, correcting some mistakes when creating transaction and combining them
7 years ago
Konrad Weiss 02aa2952e4 Adding first working transacation application purely working on the stack and not considering the combination of constraints
7 years ago
Bernhard Mueller 5340f1142c
Merge pull request #273 from JoranHonig/bugfix/271
7 years ago
Joran Honig 0c63d749fb Sometimes the call.to is not influenced by a storage, but something else
7 years ago
Joran Honig 7adcb45b57 Require regex on storage to end on an integer
7 years ago
Joran Honig f19dd5df91 Make variable bitvec
7 years ago
Konrad Weiss 0f458e7541 Add the first code to build transaction traces from the storage state at STOP instruction and a combination strategy to build felxibly large trace chain combinations. Starting from the trace of a constructor and using the traces of the external and public functions of a contract. All possible programmstates to a certain depth can be reached.
7 years ago
Konrad Weiss c3131a579d Add annotation files such as the wrapper in front of the analysis and the annotation class structures
7 years ago
Konrad Weiss 70573ffdd0 Adding base file for solidnotary extension to mythril
7 years ago
Dr. Sergey Pogodin 3e3df2562d Update of CircleCI config
7 years ago
Dr. Sergey Pogodin d79262cb25 v0.18.4
7 years ago
Dr. Sergey Pogodin edf269f900 Merge branch 'non-ascii'
7 years ago
Dr. Sergey Pogodin 8ccdadb2fa Update of expected test results for `nonascii.sol` test
7 years ago
Dr. Sergey Pogodin a54a3fe919 F2F: Fix crushes of the contracts containing non-ascii characters
7 years ago