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

2387 Commits (9787a4a666c76b98e4a0d0e9d1f8c2c0328d66c1)
 

Author SHA1 Message Date
tintinweb 2c72a5b0e4 fix signature db throwing FileNotFoundError when myhtril is used as a
6 years ago
Nikhil Parasaram d7df0c132c check for new records to work on
6 years ago
JoranHonig ef7257a1c3
Merge pull request #538 from JoranHonig/feature/invalidOpcode
6 years ago
Joran Honig 6fab94528a Make return data None on exception state
6 years ago
Nikhil Parasaram d6082cf630 Remove Solver support for now
6 years ago
Nikhil Parasaram 13300d8913 Use solver translate
6 years ago
Nikhil Parasaram 6e0d775c09 Remove all broad exception catches in laser
6 years ago
Joran Honig 190cb523c9 Remove unused argument
6 years ago
Joran Honig 87d485ac67 Implement returndata
6 years ago
Joran Honig 1ea3f00de2 Use correct exception
6 years ago
Joran Honig a1778d1187 Merge remote-tracking branch 'origin/feature/invalidOpcode' into feature/invalidOpcode
6 years ago
Joran Honig 5a783b2184 VmException revert changes
6 years ago
Joran Honig b5722f6948 im
6 years ago
Nikhil Parasaram 6178befedd Correct __iadd__() function
6 years ago
Nikhil Parasaram d0c00eef9c Support operators + and += for Constraints()
6 years ago
Joran Honig dc0e281bd5 Add assert_fail_ implementation
6 years ago
Joran Honig 9bd6a08b47 Add justification/documentation to vmExceptionHandling
6 years ago
Joran Honig 88777350e1 Raise InvalidJumpDestination exception on invalid op, and optimize imports
6 years ago
Joran Honig 86268ffce3 Adds invalid instruction Exception
6 years ago
Bernhard Mueller a7911b7083
Add list of articles
6 years ago
Bernhard Mueller 6121969e22
Update README.md
6 years ago
Nikhil Parasaram 176fe546a3
Merge pull request #536 from norhh/master
6 years ago
Nikhil Parasaram b5bcca6ee9
Merge pull request #2 from norhh/enhance/526
6 years ago
Nikhil Parasaram c37bef3a33 cleanup
6 years ago
Nikhil Parasaram 326ed24403 Add the predictable vars dependence
6 years ago
Bernhard Mueller cb65529075 Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
Nikhil Parasaram e0b955b745 fix the blocktimestamp swc
6 years ago
Nikhil Parasaram 2b45816d43 Add swc id to dependence_on_predictable_vars
6 years ago
Nikhil Parasaram 296da3a54a Add swc id to mythril report
6 years ago
Nikhil Parasaram 98288da43c optimize memory by copy on write
6 years ago
JoranHonig b72cc16a21
Merge pull request #525 from ConsenSys/transaction_order_fix
6 years ago
Joran Honig 5579da96c1 Merge remote-tracking branch 'upstream/master' into transaction_order_fix
6 years ago
Nikhil Parasaram 39e2b53b30 Merge solver_per_branch with master
6 years ago
Nikhil Parasaram 2e5a48be9f Add a constraint class with solver
6 years ago
Nikhil Parasaram a85ad24576
Merge pull request #503 from norhh/machinestack_refactor
6 years ago
Nikhil Parasaram 564ca24b23 Merge with master
6 years ago
Joran Honig 4965ffa609 Merge remote-tracking branch 'upstream/master' into transaction_order_fix
6 years ago
Joran Honig 9b6325b44d Update test files
6 years ago
JoranHonig fbba0b7b2c
Merge pull request #514 from JoranHonig/features/invalidjumpexception
6 years ago
Joran Honig 514e3e6028 Fix merge
6 years ago
JoranHonig 0e6b2d6d22
Merge branch 'master' into features/invalidjumpexception
6 years ago
Bernhard Mueller d27c7c7b67 Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
R. Bernstein 7b4fe769c8
Merge pull request #530 from ConsenSys/information-informational
6 years ago
rocky 5eb2ac2e85 Severity type "Information" -> "Informational" to match the others
6 years ago
Bernhard Mueller 827d77b352
Update README.md
6 years ago
Bernhard Mueller 5125ad815a
Update Discord links
6 years ago
Dr. Sergey Pogodin fa96f8a76c
Merge pull request #519 from ConsenSys/norhh-patch-2
6 years ago
Bernhard Mueller 7f9acbce4c Update wording 'tx order independence' -> 'dependence'
6 years ago
Bernhard Mueller 6443816bcc Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
Nikhil Parasaram b88ed32c8a
fix dependency issues
6 years ago