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

4441 Commits (aff3ec67b03dec5d6d154d4e186c41f748f95802)
 

Author SHA1 Message Date
Bernhard Mueller aff3ec67b0 Update tx.origin test to excpect SWC-115
5 years ago
Bernhard Mueller 01e6aaa45e Finalize new descriptions
5 years ago
Bernhard Mueller b91911bc38 Update more descriptions
5 years ago
Bernhard Mueller 733ae31a29 Simply dependence on predictable vars module
5 years ago
Bernhard Mueller c67cae6360 Add new module for SWC-115
5 years ago
Bernhard Mueller d6f4ddec56 Remove old deprecated_ops module
5 years ago
Bernhard Mueller d6cddb0f2d Update first few descriptions
5 years ago
Bernhard Mueller e4bbf70f83 Bump version
5 years ago
Bernhard Mueller 80b8a59a31
Merge pull request #1355 from ConsenSys/origin_model
5 years ago
Bernhard Mueller 399329c0d3
Merge pull request #1356 from ConsenSys/external_calls
5 years ago
Bernhard Mueller f731c3bbde Don't use PotentialIssue system in deprectated ops module
5 years ago
Bernhard Mueller 4391d1ae55 Revert tests
5 years ago
Bernhard Mueller f5fc3c304d Also update origin.sol.easm
5 years ago
Bernhard Mueller 808d879d64 Only warn about calls to user-supplied addresses
5 years ago
Bernhard Mueller 32b5a1e21d It's supposed to be runtime bytcode
5 years ago
Bernhard Mueller 3e8b668f0d Try again
5 years ago
Bernhard Mueller e09480df48 Remove the evil newline
5 years ago
Bernhard Mueller d2be41b61d Fix inexplicably failing test
5 years ago
Bernhard Mueller 42e92454f7 Correctly model tx.origin vs msg.sender
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 35f39fecf4
Merge pull request #1351 from ConsenSys/ether_thief
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
Bernhard Mueller c571fa287f
Merge pull request #1342 from ConsenSys/feature/enable_detection_plugins
5 years ago
Bernhard Mueller 149978a70d
Merge pull request #1347 from ConsenSys/ether_transfer
5 years ago
Bernhard Mueller fe6d6f53df
Merge pull request #1348 from ConsenSys/call/gaslim
5 years ago
Bernhard Mueller 32a88a7fdd Fix bug
5 years ago
JoranHonig 215271c73e
Merge branch 'develop' into feature/enable_detection_plugins
5 years ago
Bernhard Mueller 02349937d7 Also load balance for initial account
5 years ago
Bernhard Mueller 5e123bcb8e Handle string case in accounts_exist_or_load
5 years ago
Bernhard Mueller 65169e4af9 Set balance after account creation, fix bug
5 years ago
Bernhard Mueller caf01453db Add balance loading to accounts_exist_or_load
5 years ago
Nikhil Parasaram 2cf0da551b Use If
5 years ago
Bernhard Mueller 8df98f7ecd Remove on-chain balance access from account init (was called on every copy)
5 years ago
Nikhil Parasaram be3c764129 Use bv
5 years ago
Nikhil Parasaram 449d4cf3d9 Fix gas_limit
5 years ago
Bernhard Mueller 33f5584e8e Intialise account when balance instruction is executed
5 years ago