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

151 Commits (148f4823ca90051c0d2b41fccd337f5f84d15cd9)

Author SHA1 Message Date
Joran Honig d995789aad Add expected output
7 years ago
Dr. Sergey Pogodin 4f234e7ef3 CODE: LevelDB support
7 years ago
Bernhard Mueller 52f633d03c Add output option for trace explorer GUI
7 years ago
freewind 29c5ca6977 Fix tests
7 years ago
freewind 1d12221ff8 test reports generation
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
freewind d8046bf569 refactoring myth script
7 years ago
Bernhard Mueller 212110f622 Add --verbose-report flag
7 years ago
Bernhard Mueller 450cd7a008 Change type of enable_physics cmdline arg
7 years ago
Bernhard Mueller 765b450fa4 Add -m/--modules command line argument
7 years ago
Bernhard Mueller 6e8eb8c0d2 Set filename when mapping Solidity code to issues
7 years ago
Bernhard Mueller a603772956 Add get_source_info convenience method to SolidityContract
7 years ago
Bernhard Mueller ed645d756e IMPORTANT: Add Phrack-style call graph
7 years ago
Bernhard Mueller 5daf7a5d98 Add more error checks to myth cmdline tool
7 years ago
Bernhard Mueller 7e37cba737 Don't initialize IPC when Soldity inputs are used
7 years ago
Dr. Sergey Pogodin f1430a8c3e CODE: CLI Refactoring
7 years ago
Bernhard Mueller ab1b686ed1 Change markdown frormatting, add -i cmdline arg
7 years ago
freewind 2458b5302d Use `python3` explicitly to reduce conflict
7 years ago
Bernhard Mueller 7c0deddadb Add --solc-args option
7 years ago
Bernhard Mueller bd4be45032 Update contract<>address mapping logic
7 years ago
Bernhard Mueller 5bae571074 Refactor
7 years ago
Bernhard Mueller d765d11a67 Quick & dirty fixes for analysis modules
7 years ago
Bernhard Mueller 53ef2f3028 Fix exitWithError calls
7 years ago
Bernhard Mueller 2c74b02b3a Add IPC error handling
7 years ago
Bernhard Mueller 12bc854381 LASER v2 compatibility fixes & code formatting
7 years ago
Bernhard Mueller fa941dbfa3 Code formatting
7 years ago
Bernhard Mueller eba8f05492 Remove 'address' field from contract objects
7 years ago
Bernhard Mueller 993164e6df Assign addresses to Solidity contracts
7 years ago
Bernhard Mueller 402563a636 Code formatting
7 years ago
Bernhard Mueller 975823fec9 Code formatting
7 years ago
Bernhard Mueller 620a88dc7a LASER v2 compatibility
7 years ago
vdrg 6692475e09 Allow for different output formats in truffle projects
7 years ago
Bernhard Mueller 5716ddd901 Fix issue that sometimes prevented issues from being displayed
7 years ago
Bernhard Mueller 25e7ce8599 Add option to specify contract name in addition to input file
7 years ago
Bernhard Mueller fa19ee819f Handle situation when no compilable contracts are found in input file(s)
7 years ago
Bernhard Mueller 3a667270e1 Handle non-existant input files
7 years ago
Bernhard Mueller 6bf1e8e76d Handle symbolic execution exceptions
7 years ago
Bernhard Mueller 75554dbff3 Fix calls to exitWithError
7 years ago
Bernhard Mueller 400f347d2b Change JSON output format, errors are now JSON-formatted
7 years ago
Bernhard Mueller cdfc432715 Add output formatting to exitWithError function
7 years ago
Bernhard Mueller 5a9a9b300b Calculate and output line numbers
7 years ago
Bernhard Mueller 4841928307 Add markdown output option
7 years ago
Bernhard Mueller 0e61f91a6e Fix bug when processing multiple Solidity files
7 years ago
Bernhard Mueller e047d1ae04 Remove import statement
7 years ago
Bernhard Mueller 522754092b Add source mapping to myth cmdline tool
7 years ago
Bernhard Mueller a412d78b4d Analyze input files one-by-one
7 years ago
Bernhard Mueller 210ba27684 Remove logging
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