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

3948 Commits (fix-balance-overflow)
 

Author SHA1 Message Date
Bernhard Mueller 25d81d9477
Update README.md
7 years ago
Bernhard Mueller 1073c03c5a Bump version number
7 years ago
Bernhard Mueller e4a6097e67 Exit with error if invalid Truffle JSON is encountered
7 years ago
Bernhard Mueller c116d4a11b Bump version number
7 years ago
Bernhard Mueller f1d88ff818 Add workaround to prevent crash when dynamic contract address is encountered in bytecode
7 years ago
Bernhard Mueller af23333239 Bump version number
7 years ago
Bernhard Mueller 379fd8c19e Add exception handling
7 years ago
Bernhard Mueller 975062c395 Output formatting
7 years ago
Bernhard Mueller 5fe21f5ec3 Add some error checking
7 years ago
Bernhard Mueller 75dbbe6ae9 Add truffle.py, fire_lasers returns report
7 years ago
Gerhard Wagner bf234672dd bug fix
7 years ago
Gerhard Wagner 0961339f93 storage can read more elements and also arrays
7 years ago
Bernhard Mueller 5972788393 Add --truffle argument
7 years ago
Bernhard Mueller 0acea5b18f Restructure command line arguments
7 years ago
Bernhard Mueller ef4064fdcf Remove trace command
7 years ago
Bernhard Mueller 57593f8d66 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller f1e07baa8f Handle compiler output for library contracts
7 years ago
Bernhard Mueller a00cf7834b
Update README.md
7 years ago
Bernhard Mueller 2f3e35fcd0 Add '--ganache' rpc preset
7 years ago
Bernhard Mueller 9abc7a90ab Bump version number
7 years ago
Bernhard Mueller 64c5656dc3 Add more functions signatures
7 years ago
Bernhard Mueller 0759e3f87a Remove symlink
7 years ago
Bernhard Mueller 0639aec254 Add current dir to solc allowed import paths
7 years ago
Bernhard Mueller 2c2f6905ff Add workaround to enable INFURA db sync
7 years ago
Bernhard Mueller 2ed8cf5fe9
Update LICENSE
7 years ago
Bernhard Mueller bfd708d396 Bump laser & Mythril versions
7 years ago
Bernhard Mueller 4fc9575b00 Performance: Simplify tx.origin check
7 years ago
Bernhard Mueller 5fb0a2d5d3 Add informational messages
7 years ago
Bernhard Mueller d084b89404 Rewrite loader logic
7 years ago
Bernhard Mueller 72ce0b7569 Update gitignore
7 years ago
Bernhard Mueller 4348e21515 Bump version number
7 years ago
Bernhard Mueller 7590bf7e51 Update ether_send module
7 years ago
Bernhard Mueller b820f5255f Remove integer overflow example
7 years ago
Bernhard Mueller bd84d73f39 Remove integer overflow check (performance, false positives)
7 years ago
Bernhard Mueller f57c30310b Usability: Auto-create data dir and sigs file
7 years ago
Bernhard Mueller 7501c7fd10 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 7f98e3cda7 Add debugging code
7 years ago
Bernhard Mueller cb3626b769
Update README.md
7 years ago
Bernhard Mueller 2b53bf5320
Merge pull request #41 from egodigitus/master
7 years ago
egodigitus 751242cfbd
Installation commands
7 years ago
Bernhard Mueller 247a36eb59
Update README.md
7 years ago
Bernhard Mueller 7fe1baad0f
Update README.md
7 years ago
Bernhard Mueller eaf7dbe7ea Add cmdline argument for configuring symbolic exec depth
7 years ago
Bernhard Mueller 36b37d4c58 Update setup.py
7 years ago
Bernhard Mueller 318666315f
Update README.md
7 years ago
Bernhard Mueller 1a8b7ef510
Merge pull request #35 from Raz0r/feature/weak-random-blockhash
7 years ago
Bernhard Mueller e28c525af1
Merge pull request #37 from 10a7/master
7 years ago
10a7 522161c4b8 Add retcode error checking, solc_binary argument
7 years ago
raz0r e1892c8476 [weak random] add blockhash dependent calls detection
7 years ago
Bernhard Mueller f5ed03772e
Update security_checks.md
7 years ago