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

1420 Commits (f81ca73b92e564676af87b9d58cf63d65bad266e)
 

Author SHA1 Message Date
Bernhard Mueller 5b1aa40345
Merge pull request #284 from JoranHonig/bugfix/272
6 years ago
Joran Honig e5a19c84df Use isinstance
6 years ago
Bernhard Mueller 9e2c51b513
Merge pull request #282 from norhh/bugfix/281
6 years ago
Nikhil Parasaram 4c91fc2bca add type condition to jump
6 years ago
Bernhard Mueller 1e6e46fe02
Merge pull request #280 from norhh/native_branch
6 years ago
Nikhil Parasaram 6410a0f538 add native contracts
6 years ago
Konrad Weiss df6a88e062 Building transactionchains of up to length 4 for trial, correcting some mistakes when creating transaction and combining them
6 years ago
Konrad Weiss 02aa2952e4 Adding first working transacation application purely working on the stack and not considering the combination of constraints
6 years ago
Bernhard Mueller 5340f1142c
Merge pull request #273 from JoranHonig/bugfix/271
6 years ago
Joran Honig 0c63d749fb Sometimes the call.to is not influenced by a storage, but something else
6 years ago
Joran Honig 7adcb45b57 Require regex on storage to end on an integer
6 years ago
Joran Honig f19dd5df91 Make variable bitvec
6 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.
6 years ago
Konrad Weiss c3131a579d Add annotation files such as the wrapper in front of the analysis and the annotation class structures
6 years ago
Konrad Weiss 70573ffdd0 Adding base file for solidnotary extension to mythril
6 years ago
Dr. Sergey Pogodin 3e3df2562d Update of CircleCI config
6 years ago
Dr. Sergey Pogodin d79262cb25 v0.18.4
6 years ago
Dr. Sergey Pogodin edf269f900 Merge branch 'non-ascii'
6 years ago
Dr. Sergey Pogodin 8ccdadb2fa Update of expected test results for `nonascii.sol` test
6 years ago
Dr. Sergey Pogodin a54a3fe919 F2F: Fix crushes of the contracts containing non-ascii characters
6 years ago
Dr. Sergey Pogodin 73d95fb9bb Few extra updates of CI/CD config and Docker releases
6 years ago
Dr. Sergey Pogodin 38823c1488 Fix of CI/CD config
6 years ago
Dr. Sergey Pogodin ad31fbec94 Automatic DockerHub releases (version bumped to v0.18.1 to test it)
6 years ago
Bernhard Mueller 6230eef77b Bump version number
6 years ago
Bernhard Mueller 06cae056d5
Merge pull request #261 from JoranHonig/bugfix/depth
6 years ago
Bernhard Mueller a0db35bade
Merge pull request #262 from fgimenez/fix-requirements
6 years ago
Federico Gimenez a986eb9357 remove redundant pytest requirement and sort requirements file
6 years ago
Joran Honig b7e37de4fd Use bigger max depth in cli and increase depth on neg jumpi.
6 years ago
Bernhard Mueller a284a4d13d
Merge pull request #260 from JoranHonig/bugfix/incompletegraph
6 years ago
Joran Honig 35ec0ffe6a Refactor JUMPI
6 years ago
Bernhard Mueller 2eb933f26d
Merge pull request #258 from rocky/all_tests-tweak
6 years ago
rocky e2bfeef33f Check and report status of various required packages
6 years ago
Dr. Sergey Pogodin 41912d39a2 Merge branch 'laser-merge-test'
6 years ago
Dr. Sergey Pogodin ef11db6f6f Moves test dependencies into `tests_require` section of `setup.py`
6 years ago
LieutenantRoger 6886d149c7 Another small update
6 years ago
LieutenantRoger afc4b4a719 Fix the pytest version to 3.6.0
6 years ago
LieutenantRoger fd46d49b4f Revert change on requirements.txt
6 years ago
LieutenantRoger b08d42b144 Adding a fix version to pytest in setup.py and requirements.txt
6 years ago
LieutenantRoger e329095e94 Fix a config issue
6 years ago
LieutenantRoger f3853e2a49 Another small fix for the ci
6 years ago
LieutenantRoger 75a5d9467e A small fix for CI issue.
6 years ago
LieutenantRoger f14b21e16d Merge laser into mythril
6 years ago
Dr. Sergey Pogodin a62ba2470d Merge branch 'tox'
6 years ago
Dr. Sergey Pogodin 3b7a21b558 Merge branch 'master' into tox
6 years ago
Bernhard Mueller d66536120b
Update CONTRIBUTING.md
6 years ago
Bernhard Mueller 1fbc3d52f8
Merge pull request #247 from JoranHonig/bugfix/regex
6 years ago
Bernhard Mueller 74a35ed75f
Merge pull request #250 from rocky/docker-bionic-fixes
6 years ago
Bernhard Mueller f0fb5c70c6
Merge pull request #252 from ConsenSys/features/contributing
6 years ago
Bernhard Mueller 7617e8ac5d
Update CONTRIBUTING.md
6 years ago
Josh Asplund 756bd1ebe7 Simplifies Circle config and coverage
6 years ago