Commit Graph

1417 Commits (f93ca39512a6f7945313be3c2570ece86b54a5cf)
 

Author SHA1 Message Date
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
Bernhard Mueller 3cbf9c0e32 Bump laser version & update setup.py 7 years ago
Bernhard Mueller 4777800bc9 Symbolic analysis - add 'data' member variable to call op 7 years ago
Bernhard Mueller f517d54468
Merge pull request #33 from Raz0r/feature/weak-random 7 years ago
raz0r 9f106a8018 add basic detection of faulty PRNGs 7 years ago
Bernhard Mueller bdafa66f3d Merge branch 'master' of github.com:b-mueller/mythril 7 years ago
Bernhard Mueller 5d00492bfc Add Solidity examples 7 years ago
Bernhard Mueller 2c96300d93 Add more solidity examples 7 years ago
Bernhard Mueller dd030110f4
Update README.md 7 years ago
Bernhard Mueller 3c3a74336f Merge branch 'master' of github.com:b-mueller/mythril 7 years ago
Bernhard Mueller 87485e228b Fix crash in ether_send.py 7 years ago
Bernhard Mueller 7d7a1c850e
Update README.md 7 years ago
Bernhard Mueller 06884be600 Remove debugging code 7 years ago
Bernhard Mueller a00dd31d78 Remove debugging code 7 years ago
Bernhard Mueller 0907cd3f3f Use correct unsigned division operator in int overflow check 7 years ago
Bernhard Mueller 267e234abf Clean up examples 7 years ago
Bernhard Mueller 828b6f1181 Update setup.py 7 years ago
Bernhard Mueller bd478bae7a Enhance ether_send module 7 years ago
Bernhard Mueller 577669f777 Update integer overflows 7 years ago
Bernhard Mueller 9ad444e58f Add detection of MUL overflow 7 years ago
Bernhard Mueller 6b09361314 Update setup.py 7 years ago
Bernhard Mueller f45009b465 Refactor 7 years ago
Bernhard Mueller 552a8b2de3 Update unit tests 7 years ago
Bernhard Mueller 775152b1ce Handle invalid contract addresses 7 years ago
Bernhard Mueller fccdc757a0 Detect and ignore swarm hash at end of bytecode 7 years ago
Bernhard Mueller aa9ff9a75f Merge branch 'master' of github.com:b-mueller/mythril 7 years ago
Bernhard Mueller 257b675bcf Refactor 7 years ago
Bernhard Mueller 65ae5a5205
Update security_checks.md 7 years ago
Bernhard Mueller 84cf11ecbf Add integer overflow detection for ADD 7 years ago
Bernhard Mueller 67cc17cad3 Update setup.py & bump LASER version 7 years ago
Bernhard Mueller 2ef7b34d87 Eliminate integer underflow false positive 7 years ago
Bernhard Mueller 0db46f8f13 Ignore prebuilts in call analysis 7 years ago