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

1297 Commits (6bbab6855a12cabec3f22cf7fcbcde8408c3b9c3)
 

Author SHA1 Message Date
Joran Honig f1079fadb0 Fix changes due to different version of laser
7 years ago
Joran Honig 14d6840669 Rename function and add underflow detection
7 years ago
Joran Honig 4f0fd750e3 cleanup
7 years ago
Bernhard Mueller 76475a6370
Merge pull request #205 from joshuata/joshuata/revert_attrs
7 years ago
Josh Asplund 262461549d Updates templating for markdown reports
7 years ago
Josh Asplund aaf0b81091 Updates templating for text tests
7 years ago
Josh Asplund 59ca242c55 Fixes #209
7 years ago
Josh Asplund 16242116f2 Moves graph to callgraph
7 years ago
Josh Asplund 0af395f57a Removes attrs from requirements
7 years ago
Joran Honig 2202c0011f Cleanup get model and set timeout to 5000
7 years ago
Joran Honig 55f537f204 Parallelization init
7 years ago
Bernhard Mueller fb28d30f88 Bump LASER version
7 years ago
Bernhard Mueller 141fec3d11 Fix function names in CFG
7 years ago
Bernhard Mueller 1e2de07f46 Bump laser version
7 years ago
Bernhard Mueller 35b618ee87 Improve CFG formatting
7 years ago
Bernhard Mueller 485e6ce2bf
Merge pull request #198 from JoranHonig/bugfix/importhelper
7 years ago
Bernhard Mueller 237fcbd97b Bump version number
7 years ago
Bernhard Mueller 34744d59a3
Merge pull request #196 from JoranHonig/bugfix/report
7 years ago
Joran Honig 284847f9e0 change import statement
7 years ago
Joran Honig b443ba2bdd Merge remote-tracking branch 'upstream/master' into bugfix/report
7 years ago
Joran Honig 02f8527a3e Issues should always be added, not only for solidity files
7 years ago
Bernhard Mueller 363d16c9e3 Bump laser version
7 years ago
Bernhard Mueller c3b7b1b6c5 Bump laser version
7 years ago
Bernhard Mueller d6507bc2b6 Bump laser version
7 years ago
Bernhard Mueller 49cf3b8f78
Merge pull request #192 from JoranHonig/bugfix/test
7 years ago
Joran Honig 8e4cd7f487 Use only one _try constraint call. Cleans up this method. Also add non zero checks to initial constraint (multiplication)
7 years ago
Bernhard Mueller 9f56ebc5af
Merge pull request #188 from roschler/master
7 years ago
Robert Oschler 586b321a94
Merge pull request #1 from roschler/roschler-minor-typo-1
7 years ago
Robert Oschler 7b6e2d6338
Update README.md
7 years ago
Bernhard Mueller a1329d3235
Merge pull request #184 from JoranHonig/feature/taint_integer
7 years ago
Joran Honig 288a427924 remove signatures
7 years ago
Joran Honig b3da975d4f remove toy
7 years ago
Joran Honig 93df00b669 Use is
7 years ago
Bernhard Mueller 4437588c29 Bump laser version
7 years ago
Bernhard Mueller ed0381b61e Remove debugging code
7 years ago
Bernhard Mueller 9c1a50ab57 Revert change - allow only a single statespace to be exported
7 years ago
Bernhard Mueller 52ab65154c Update unit test
7 years ago
Bernhard Mueller 3a43b0334e Revert change in int overflow module
7 years ago
Bernhard Mueller 88a456c1d4 Bump LASER version
7 years ago
Bernhard Mueller eb3d869b4a
Update README.md
7 years ago
Bernhard Mueller a55fdebe6a Bump LASER version
7 years ago
Bernhard Mueller 37ed299f22 Update LASER version
7 years ago
Bernhard Mueller 8ea64004c3
Merge pull request #182 from trigun0x2/master
7 years ago
Bernhard Mueller 75d644fbb0
Merge pull request #181 from JoranHonig/bugfix/integeroverflow
7 years ago
Jeffrey Tong addfe13d4f fix typo adresses to addresses
7 years ago
Joran Honig 46da1f05e9 When checking if we can influence a value we should not consider the
7 years ago
Dr. Sergey Pogodin ff775c91e5 Removes README_DEV.md and security_checks.md (moved to Wiki)
7 years ago
Joran Honig c9c905cca0 Add check requires step
7 years ago
Joran Honig 6d364d0144 Use proper taint analysis from laser
7 years ago
Bernhard Mueller 4c4de136c2 Bump version number
7 years ago