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

2260 Commits (b7da7e9482ee4b42a0294a8800316f0b89d3d778)
 

Author SHA1 Message Date
Nathan 4f00ae5bdd solver optimizes calldatasize
6 years ago
Dominik Muhs 9af7018235 Apply black
6 years ago
Nathan 0b88c4033d
Merge branch 'develop' into fix_calldata_indexing
6 years ago
Nathan fc5187eef8 fix typo in a comment
6 years ago
Bernhard Mueller 9e00c3b2d2
Merge branch 'develop' into transaction_sequence
6 years ago
Bernhard Mueller 94eade61dc
Merge pull request #631 from norhh/enhance/628
6 years ago
Nathan 461a6735c7 Black Formatting
6 years ago
Nikhil Parasaram c86806ce5a Format the strings with black code formatter
6 years ago
Nikhil Parasaram ffbee7f760 Change the issue descriptions
6 years ago
Nathan 2debc03d3c bring transaction sequence generation to a working state
6 years ago
Bernhard Mueller 22954508f0
Merge pull request #629 from ConsenSys/enhancement/628
6 years ago
Maxime Biais 741407f857
Merge branch 'master' of https://github.com/ConsenSys/mythril into issue/576-add-new-cli-option-to-pass-contract-creation-bytecode
6 years ago
Nikhil Parasaram dc09c2e94f Change the issue description
6 years ago
Bernhard Mueller 242181fd22
Merge pull request #611 from JoranHonig/features/standard_format
6 years ago
Nathan efded003eb make calldata constraints test use Mocked calldata
6 years ago
JoranHonig 468551da53
Refactor ether send (#622)
6 years ago
Joran Honig 2774fc65a2 update hashing technique used
6 years ago
Nathan c67c23b5c8 move test that calldata were added constraints
6 years ago
Nathan eb2e56c697 test calldata constraints
6 years ago
Maxime Biais 957575087b
Replace --contract-creation option by --bin-runtime
6 years ago
Nathan 575f3d73ac remove arbitrary calldatasize constraint
6 years ago
Nathan 725d6c61d5 Fix calldata constraints being overwritten
6 years ago
Nathan d836b33611 Initial concrete transaction sequence generation
6 years ago
JoranHonig f5ad0116c0
Merge pull request #615 from nbanmp/master
6 years ago
Nathan 3d7350ca2e black formatting tests
6 years ago
Nathan 73bdbfd150 black formatting
6 years ago
Nathan 8ddb48933c
Merge branch 'develop' into master
6 years ago
JoranHonig 94862635d7
Merge pull request #617 from ConsenSys/feature/599-develop
6 years ago
Nathan 7e73a42051
Merge branch 'develop' into master
6 years ago
Dominik Muhs e0cd08a58b Apply black style formatting
6 years ago
Dominik Muhs c814c685d9 Add black hook to CircleCI config
6 years ago
Bernhard Mueller f5997702a7 Update README.md
6 years ago
JoranHonig 8e8e5716a4
Merge pull request #609 from JoranHonig/refactor/disassembly
6 years ago
JoranHonig c19f249c49
Merge pull request #603 from JoranHonig/refactor/asm
6 years ago
JoranHonig f2368aea87
Merge branch 'develop' into refactor/disassembly
6 years ago
Joran Honig 1c396d93ad Make statement more readable
6 years ago
Nikhil Parasaram dbc9cc1870
Merge pull request #610 from ConsenSys/norhh-patch-2
6 years ago
Joran Honig 6f69858fbe fix missing argument
6 years ago
Joran Honig 5f9494b979 fix missing environments
6 years ago
Joran Honig 5df5849451 Merge remote-tracking branch 'origin/refactor/asm' into refactor/asm
6 years ago
Joran Honig b67117c8b4 add more type hints
6 years ago
Joran Honig 719413a390 Add swc standard format output to mythril
6 years ago
Nikhil Parasaram 52d0bef520
v0.18.13
6 years ago
Nathan 2d02e381dc simplify ternary
6 years ago
JoranHonig c4f0509b23
Merge pull request #600 from norhh/tests/VmSha3
6 years ago
Nathan 8928716633 remove one line calldate bugfix and other important improvements
6 years ago
Joran Honig 7e78a77acb also catch key error
6 years ago
Joran Honig 2b2698e1fb return empty list if sighash not in signatures
6 years ago
Joran Honig a40ebd55f8 remove type hint
6 years ago
Joran Honig 247cdc4c33 get_function_info tests
6 years ago