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

861 Commits (7de4ed57c5dda4df52d974a67b9991c1eb941676)
 

Author SHA1 Message Date
Bernhard Mueller 402563a636 Code formatting
7 years ago
Bernhard Mueller 975823fec9 Code formatting
7 years ago
Bernhard Mueller bc158420c0 Merge branch 'master' of github.com:ConsenSys/mythril
7 years ago
Bernhard Mueller fead534258 LASER rewrite
7 years ago
Bernhard Mueller d7ce758548 LASER v2 compatibility
7 years ago
Bernhard Mueller 620a88dc7a LASER v2 compatibility
7 years ago
Bernhard Mueller 584f075821
Merge pull request #72 from vdrg/master
7 years ago
Bernhard Mueller de09c01025 Revamped LASER compatibility
7 years ago
vdrg 5cb1c24acc Add contract name to json output for truffle projects
7 years ago
vdrg 6692475e09 Allow for different output formats in truffle projects
7 years ago
Bernhard Mueller 14bf07769b
Update security_checks.md
7 years ago
Bernhard Mueller 1d1995673a
Update security_checks.md
7 years ago
Bernhard Mueller 5f74fc2fcd Bump version number
7 years ago
Bernhard Mueller 913401a27e Bugfix for ether_send module
7 years ago
Bernhard Mueller 36f055d1e4 Bump version number
7 years ago
Bernhard Mueller afa67fa5fb Fix markdown formatting AGAIN :/
7 years ago
Bernhard Mueller 44f8cbca44 Bump version number
7 years ago
Bernhard Mueller ba9fa8b56b Bugfix: Assign srcmap when contract name is specified explicitly
7 years ago
Bernhard Mueller 0b18af979f
Update README.md
7 years ago
Bernhard Mueller 755de36a21 Bump version number
7 years ago
Bernhard Mueller f13efaa405 Fix markdown formatting
7 years ago
Bernhard Mueller 5716ddd901 Fix issue that sometimes prevented issues from being displayed
7 years ago
Bernhard Mueller a7ed5c2cdc Merge branch 'master' of github.com:ConsenSys/mythril
7 years ago
Bernhard Mueller ff9643d7b8 Fix logic bug in the way srcmap-runtime is parsed
7 years ago
Bernhard Mueller d8e40358dd
Update README.md
7 years ago
Bernhard Mueller b91d6d3ed2
Update README.md
7 years ago
Bernhard Mueller 73838195e7 Bump version number
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 2a15075a86 Output error details on compiler error
7 years ago
Bernhard Mueller 281faadf47 Bump version numnber
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 ff5018d6d7 Bump version number
7 years ago
Bernhard Mueller 5074262584 Remove debugging info from report
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 5c99005211 Add source code info to JSON output
7 years ago
Bernhard Mueller 5a9a9b300b Calculate and output line numbers
7 years ago
Bernhard Mueller ed2baf9bd2 Bump LASER version
7 years ago
Bernhard Mueller 61e74fb774 Whitelist permitted types when adding constraint in integer_underflow.py
7 years ago
Bernhard Mueller 3077017a90
Update README.md
7 years ago
Bernhard Mueller f7a49edbf9 Add sample markdown report
7 years ago
Bernhard Mueller a699841aa4 Bump version number
7 years ago
Bernhard Mueller d679b1684e Markdown output formatting
7 years ago
Bernhard Mueller f6c07aed89 Merge branch 'master' of github.com:ConsenSys/mythril
7 years ago
Bernhard Mueller 4841928307 Add markdown output option
7 years ago
Bernhard Mueller 6626e6907f
Update security_checks.md
7 years ago
Bernhard Mueller 978906c955
Update README.md
7 years ago