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

162 Commits (fix/boundedloops)

Author SHA1 Message Date
Bernhard Mueller afd80c3f67 Add dynamic loader
7 years ago
Bernhard Mueller 9067bcc931 Module names
7 years ago
Bernhard Mueller 3d76f4e15f Update unit test
7 years ago
Bernhard Mueller 647dda765e Refactor
7 years ago
Bernhard Mueller 35ce848e2d Fix graph generator bug
7 years ago
Bernhard Mueller 5b13432f15 Update setup.py & requirements.txt
7 years ago
Bernhard Mueller 9ebb8c380c Refactor
7 years ago
Bernhard Mueller 2242bd7a11 Update cmdline tool
7 years ago
Bernhard Mueller d5242df5cf Add more tests
7 years ago
Bernhard Mueller dd5c4fb7a6 Fix -c arg
7 years ago
Bernhard Mueller 96986960a5 Add SVM/CFG test
7 years ago
Bernhard Mueller 6dbf651adb Update callgraph.py
7 years ago
Bernhard Mueller 8f49792243 Generate sequential addresses
7 years ago
Bernhard Mueller e8d73e0c4d Refactoring
7 years ago
Bernhard Mueller d3d2322da9 Correctly process multiple input files
7 years ago
Bernhard Mueller cf62c49ff5 Load contracts into list
7 years ago
Alex Xiong a54412e621 add support for testnet & friendly shorter option using infura
7 years ago
Bernhard Mueller ee4df81821 Load & compile libs
7 years ago
Bernhard Mueller af8cb476a7 Capture stderr
7 years ago
Bernhard Mueller db929fe4ab Remove ununsed utility methods
7 years ago
Bernhard Mueller a760d24804 Move solidity compile func to utils
7 years ago
Bernhard Mueller a62d817026 Solidity source file support
7 years ago
Bernhard Mueller fd1ea2b1e0 Update command line args
7 years ago
Bernhard Mueller 62fd2106d2 Restructure command line args
7 years ago
Bernhard Mueller f8a52afa15 Restructure command line args
7 years ago
Bernhard Mueller d3113a8fe6 Update help text
7 years ago
Bernhard Mueller cbc1c83d70 Change the way the target contract for --xrefs command is specified
7 years ago
maurelian a7741b24e3 Add tls option
7 years ago
Bernhard Mueller 95e780703e Further limit uses of persistent storage
7 years ago
Bernhard Mueller 6149e2911b Remove unneeded code from disassembler
7 years ago
Bernhard Mueller 1d64166351 Only open contract storage for operations that need it
7 years ago
Bernhard Mueller cabb8bd813 Add disable-physics flag, group cmdline args
7 years ago
Bernhard Mueller 137815f674 Write callgraph to output file
7 years ago
Bernhard Mueller 1581984a25 Add missing 'else'
7 years ago
Bernhard Mueller 0da06ca796 Remove duplicate commandline flag
7 years ago
Bernhard Mueller c9e83bb035 Some refactoring
7 years ago
Bernhard Mueller c2a9642abf Refactoring
7 years ago
Bernhard Mueller 68cbf1296f Add -v flag
7 years ago
Bernhard Mueller 57ca25bc6e Add 'fire-lasers' option
7 years ago
Bernhard Mueller 223ad38338 Change command line arguments
7 years ago
step21 017b8db408 ipc support
7 years ago
Bernhard Mueller 9464d06188 Fix error in 'trace' parameter processing
7 years ago
Bernhard Mueller ad14a12a3b Remove default contract address
7 years ago
Bernhard Mueller 41912739ee Improve tracing output
7 years ago
Bernhard Mueller 844d2a32bd Fix encoding issues in trace function
7 years ago
Bernhard Mueller 8d82553b8d Add sigs & prepend '0x' when generating hash
7 years ago
Bernhard Mueller 21a6ccf5b5 Fix small issues
7 years ago
Bernhard Mueller df823cc464 Fix imports
7 years ago
Bernhard Mueller 8828b21e9c Fix hardcoded path
7 years ago
Bernhard Mueller 1588d92654 Add callgraphs
7 years ago