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

4555 Commits (30288bcc8d4963ca7a1e4b54e216be79a0b2446c)
 

Author SHA1 Message Date
Nikhil Parasaram 822b0b8a18 Merge branch 'remove_branch_pruning' of github.com:ConsenSys/mythril into remove_branch_pruning
5 years ago
Nikhil Parasaram e5e287f911 Make sparse pruning default
5 years ago
Bernhard Mueller 8dc8b97621 Reintroduce constraint on tx.origin in EtherThief
5 years ago
Bernhard Mueller 92c9972e57 Bump version in __version__.py
5 years ago
Bernhard Mueller b76ba83e6e Also constrain sender to attacker address
5 years ago
Bernhard Mueller 8bf8b08bda Report correct offset in EtherThief module
5 years ago
Bernhard Mueller b5c1f36c62
Merge branch 'develop' into remove_branch_pruning
5 years ago
Bernhard Mueller 35f39fecf4
Merge pull request #1351 from ConsenSys/ether_thief
5 years ago
Nikhil Parasaram d7592efc0d Add a cmd line flag
5 years ago
Joran Honig 414f5800f7 use new plugin loading from symbolic
5 years ago
Joran Honig fae06af8ef remove dependency on plugins from the svm
5 years ago
Joran Honig 4156c6548e fix import typo
5 years ago
Joran Honig 5872730cdd loaded plugins are enabled by default
5 years ago
Joran Honig 80467c43d7 expose plugins through init
5 years ago
Joran Honig 75e00647ad add coverage plugin implementation
5 years ago
Joran Honig ee7e1ba1d3 add benchmark plugin builder
5 years ago
Joran Honig f78186ef36 implement dependency pruner builder
5 years ago
Joran Honig a0d38e6e7d implement mutation pruner builder
5 years ago
Joran Honig 0241b733b9 expose plugin builder interface
5 years ago
Joran Honig f47604a4c3 implement loading logic for laser plugins
5 years ago
Joran Honig 52b7b7cbf7 remove now redundant plugin factory
5 years ago
Joran Honig adf11be8e2 allow option to override global enablement defaults
5 years ago
Joran Honig cc723eb1f9 cleanup
5 years ago
Joran Honig 76a80845d9 refactor loader to use the PluginBuilder interface
5 years ago
Joran Honig 2cb20d6273 make enabled a variable
5 years ago
Joran Honig 5f7799f578 Implement basic plugin builder interface
5 years ago
Joran Honig 7638cce8f7 implement loading logic for the plugin loader
5 years ago
Joran Honig 57de71fa2d refactor loader to work with builders vs single instances
5 years ago
Joran Honig 9ed990a30e simplify module names
5 years ago
Joran Honig 528ceabe9e move plugin to laser module
5 years ago
Nikhil Parasaram 9d3f45facf Change order of subtraction
5 years ago
Nikhil Parasaram 56f72dfcff Make some changes based on comments
5 years ago
Nikhil Parasaram df84aab1a8 Remove old code with 100ms pruning
5 years ago
Nikhil Parasaram b304cad96e Fix statespace tests
5 years ago
Nikhil Parasaram bc767a6472 Black
5 years ago
Nikhil Parasaram c7b4712a40 Fix tests
5 years ago
Nikhil Parasaram f6258e8241 Add a default value
5 years ago
Nikhil Parasaram 4904d050b0 Remove branch pruning
5 years ago
Bernhard Mueller 1f84fb1fc0 Use UGT comparison
5 years ago
Bernhard Mueller 7638f2c688
Update mythril/laser/ethereum/plugins/implementations/mutation_pruner.py
5 years ago
Bernhard Mueller 534677ceff Remove unused imports
5 years ago
Bernhard Mueller cdc4e6ef16 Reintroduce call mutator hooks to catch outgoing balance changes (+FIXME)
5 years ago
Bernhard Mueller edae71dfc0 Don't prune states that are reachable if callvalue > 0
5 years ago
Bernhard Mueller 9cc8a5ca45 Clean up
5 years ago
Bernhard Mueller 417a42909e Update description text
5 years ago
Bernhard Mueller d6fc31ddda Update description
5 years ago
Bernhard Mueller e0c8e812f1 Remove prehook
5 years ago
Bernhard Mueller 7359a45990 Make module a posthook and remote 'to' constraint
5 years ago
Bernhard Mueller be289e7a03 Simplify EtherThief
5 years ago
Bernhard Mueller 8b5e484f87 Simplify ether thief module
5 years ago