Commit Graph

654 Commits (5b786e18665a5b3ce8272dbd4a841440a7606285)
 

Author SHA1 Message Date
Bernhard Mueller 5b786e1866 Fix logical bug in parsing solc output 7 years ago
Bernhard Mueller e047d1ae04 Remove import statement 7 years ago
Bernhard Mueller 24cab5444f Remove old compile_solidity 7 years ago
Bernhard Mueller 522754092b Add source mapping to myth cmdline tool 7 years ago
Bernhard Mueller 449f343da4 Add get_solc_json utility function 7 years ago
Bernhard Mueller b06722b7d7 Bump version number 7 years ago
Bernhard Mueller cfad73e2b6 Fix Truffle utility 7 years ago
Bernhard Mueller d723ae09cd
Merge pull request #61 from API-market/feature/docker 7 years ago
Bernhard Mueller 0def6dca54 Bump version number 7 years ago
Bernhard Mueller a412d78b4d Analyze input files one-by-one 7 years ago
Bernhard Mueller 210ba27684 Remove logging 7 years ago
Tyler Kuhn 244bda0897 docker build/run, woot 7 years ago
Bernhard Mueller 460fcff1ab Update logo 7 years ago
Bernhard Mueller 2c65848313 New logo 7 years ago
Bernhard Mueller 9f269ec76b
Merge pull request #59 from API-market/enhancement/security-readme-update 7 years ago
Tyler Kuhn 6160b8ae93 update security readme 7 years ago
Bernhard Mueller 2c548c2715 Bump version number 7 years ago
Bernhard Mueller 20079b8a6e Add json output format 7 years ago
Bernhard Mueller 270bf9cf60 Signature file info to log instead of stdout 7 years ago
Bernhard Mueller 35a9cd63e6 Bump LASER version 7 years ago
Bernhard Mueller 5a2256f18e
Update README.md 7 years ago
Bernhard Mueller a78a9226f1 Bump version number 7 years ago
Bernhard Mueller dc70715b0b
Merge pull request #50 from step21/solv 7 years ago
Bernhard Mueller 0b7e71b598 Bump LASER version 7 years ago
Bernhard Mueller 3136712376 Bump version number 7 years ago
Bernhard Mueller a6d1164d5b Fix delegatecall_forward detection 7 years ago
Bernhard Mueller 99af003bc1 Fix unchecked_suicide module 7 years ago
step21 5403fc9148 fixed os.path.join 7 years ago
step21 56ca0ba4b4 used os.path.join in helper function 7 years ago
step21 b4968b9732 removed semver, used os-path.join, more correct and robust checking for compiler 7 years ago
step21 97c3384943 added solc to requirements and setup.py 7 years ago
Bernhard Mueller 7d387d8628
Merge branch 'master' into solv 7 years ago
step21 9e604a008a solc versioning 7 years ago
Bernhard Mueller 5242aeeb17 Bump version 7 years ago
Bernhard Mueller 68bcb0ab0d Fix variable naming conflict 7 years ago
Bernhard Mueller 590d1efcbf Add another CFG example 7 years ago
step21 3313d1f9b1
Merge pull request #3 from ConsenSys/master 7 years ago
Bernhard Mueller a905d18420 Bump version number 7 years ago
Bernhard Mueller 2b322357a2 Alter compile_solidity functions args 7 years ago
Bernhard Mueller 5d7dce300a Merge branch 'master' of github.com:b-mueller/mythril 7 years ago
Bernhard Mueller 046bb42c0b Bump version number 7 years ago
Bernhard Mueller ac4343cbe8
Fix README formatting 7 years ago
Bernhard Mueller 199c6cd004 Merge branch 'master' of github.com:b-mueller/mythril 7 years ago
Bernhard Mueller 86abce5411 Remove unnecessary file 7 years ago
Bernhard Mueller 315f8593b7 Handle IPC exceptions 7 years ago
Bernhard Mueller af3306fb69
Correct shell commands in README 7 years ago
Bernhard Mueller a020ae8516
Update README.md 7 years ago
Bernhard Mueller 0080d008d6 Bump version number 7 years ago
Bernhard Mueller f401373cd6
Update README.md 7 years ago
Bernhard Mueller 97ecda7785 Make local IPC the default 7 years ago