Commit Graph

875 Commits (61c96c90205e98568223c508a59b7f674f8af823)
 

Author SHA1 Message Date
Bernhard Mueller 61c96c9020 Merge branch 'trace_explorer' 7 years ago
Bernhard Mueller 52f633d03c Add output option for trace explorer GUI 7 years ago
Bernhard Mueller 6db164aa1b
Merge pull request #97 from freewind/speed-up-ipc 7 years ago
freewind 1612640456 fix #90: try speed up ipc reading 7 years ago
Bernhard Mueller ef5ea87253 Resolve conflicts 7 years ago
freewind afa28c9d23 fix #90: try speed up ipc reading 7 years ago
Bernhard Mueller fb708b5b0f Bump LASER version 7 years ago
Bernhard Mueller c2eab33202 Merge branch 'master' of github.com:ConsenSys/mythril 7 years ago
Bernhard Mueller 6d5d76153f Add another sample CFG 7 years ago
Bernhard Mueller 77e8116ba0
Merge pull request #96 from gitter-badger/gitter-badge 7 years ago
Maurelian fb90ed44f8
Badges on one line. 7 years ago
The Gitter Badger 0c4de683c2 Add Gitter badge 7 years ago
Bernhard Mueller 469d428d29 Bump LASER version 7 years ago
Bernhard Mueller 21ab5a6568 Bump version number 7 years ago
Bernhard Mueller 7de4ed57c5
Merge pull request #95 from freewind/bug-fix 7 years ago
freewind e7135f5d27 infura network typo fix 7 years ago
freewind 1cb92eb33c `get_disassembly` is changed to `disassembly` in previous commits 7 years ago
Bernhard Mueller b183efa3db
Merge pull request #94 from freewind/remove-unsupported-shh-methods 7 years ago
freewind 5de6323802 The whisper object of shh_post is also changed, see: <https://github.com/ethereum/go-ethereum/wiki/Whisper-v5-RPC-API#shh_post> 7 years ago
freewind 5a795195e2 Some whisper methods are not supported in latest whisper version, remove them. See <https://github.com/ethereum/go-ethereum/wiki/Whisper-v5-RPC-API> 7 years ago
Bernhard Mueller f57bc59948 Bump version number 7 years ago
Bernhard Mueller 0c968b1dd4 Fix wrong variable name 7 years ago
Bernhard Mueller 92f59f1e89 Bump version number 7 years ago
Bernhard Mueller cec7978f4a Fix false positive in SSTORE analysis 7 years ago
Bernhard Mueller 79dc0692cb Bump version number 7 years ago
Bernhard Mueller 6242556355 Correct wrongly displayed index in ether_send and suicide modules 7 years ago
Bernhard Mueller ad7ee93031
Update README.md 7 years ago
Bernhard Mueller e8ab328c29
Update README.md 7 years ago
Bernhard Mueller e8f777e398
Update .gitignore 7 years ago
Bernhard Mueller c4fbb62883
Update .gitignore 7 years ago
Bernhard Mueller 9d87f41af0
Update README.md 7 years ago
Bernhard Mueller d27c67d4ab
Add ToC to README 7 years ago
Bernhard Mueller 73f92509c1
Add ToC to README 7 years ago
Bernhard Mueller 6321aac488
Update README.md 7 years ago
Bernhard Mueller 0d454a8150 Bump version number 7 years ago
Bernhard Mueller 645836a8de Merge branch 'master' of github.com:ConsenSys/mythril 7 years ago
Bernhard Mueller c8e0f73aea Remove references to xrefs command 7 years ago
Bernhard Mueller bf8301b66b Add multithreaded contract sync, refactor RPC code 7 years ago
Bernhard Mueller fe3ffca753
Merge pull request #93 from freewind/remove-compiler-methods 7 years ago
freewind a15b2d8521 Fix #92. Remove compiler related methods since they are gone from ethereum, see: <https://github.com/ethereum/go-ethereum/issues/3793> 7 years ago
Bernhard Mueller 8d8f1bf6cd
Update Git URL 7 years ago
Bernhard Mueller 91b8b616b1 Bump LASER version 7 years ago
Bernhard Mueller 890902e6d9 Add .editorconfig to gitignore 7 years ago
freewind d8046bf569 refactoring myth script 7 years ago
freewind e2c2652863 add editorconfig to make format consistent 7 years ago
Bernhard Mueller 8053c5a4f5 Bump version number 7 years ago
Bernhard Mueller 412b367901 Update solver.py 7 years ago
Bernhard Mueller 5c23068813 Bump version number 7 years ago
Bernhard Mueller fba6732dfa Refactor analysis modules 7 years ago
Bernhard Mueller 212110f622 Add --verbose-report flag 7 years ago