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

2328 Commits (5c49b488ccaa430f49d4093870572c0f987717d4)
 

Author SHA1 Message Date
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
Dr. Sergey Pogodin 73d95fb9bb Few extra updates of CI/CD config and Docker releases
7 years ago
Dr. Sergey Pogodin 38823c1488 Fix of CI/CD config
7 years ago
Dr. Sergey Pogodin ad31fbec94 Automatic DockerHub releases (version bumped to v0.18.1 to test it)
7 years ago
Bernhard Mueller 6230eef77b Bump version number
7 years ago
Bernhard Mueller 06cae056d5
Merge pull request #261 from JoranHonig/bugfix/depth
7 years ago
Bernhard Mueller a0db35bade
Merge pull request #262 from fgimenez/fix-requirements
7 years ago
Federico Gimenez a986eb9357 remove redundant pytest requirement and sort requirements file
7 years ago
Joran Honig b7e37de4fd Use bigger max depth in cli and increase depth on neg jumpi.
7 years ago
Bernhard Mueller a284a4d13d
Merge pull request #260 from JoranHonig/bugfix/incompletegraph
7 years ago
Joran Honig 35ec0ffe6a Refactor JUMPI
7 years ago
Bernhard Mueller 2eb933f26d
Merge pull request #258 from rocky/all_tests-tweak
7 years ago
rocky e2bfeef33f Check and report status of various required packages
7 years ago
Dr. Sergey Pogodin 41912d39a2 Merge branch 'laser-merge-test'
7 years ago
Dr. Sergey Pogodin ef11db6f6f Moves test dependencies into `tests_require` section of `setup.py`
7 years ago
LieutenantRoger 6886d149c7 Another small update
7 years ago
LieutenantRoger afc4b4a719 Fix the pytest version to 3.6.0
7 years ago
LieutenantRoger fd46d49b4f Revert change on requirements.txt
7 years ago
LieutenantRoger b08d42b144 Adding a fix version to pytest in setup.py and requirements.txt
7 years ago
LieutenantRoger e329095e94 Fix a config issue
7 years ago
LieutenantRoger f3853e2a49 Another small fix for the ci
7 years ago
LieutenantRoger 75a5d9467e A small fix for CI issue.
7 years ago
LieutenantRoger f14b21e16d Merge laser into mythril
7 years ago