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

1132 Commits (485e6ce2bfd9bfbc616f448b90d76e2c04a53d19)
 

Author SHA1 Message Date
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
Bernhard Mueller 809b4d406d Add HMTL templates to MANIFEST.in
7 years ago
Bernhard Mueller 0d257f76e6 Bump LASER version
7 years ago
Bernhard Mueller ac8110d325 Remove weak_random.sol from tests
7 years ago
Bernhard Mueller 5a69a52bf2 More flexible regex for replacing library placeholders
7 years ago
Bernhard Mueller e7c1d49e27
Merge pull request #178 from joewww/master
7 years ago
Bernhard Mueller f3667f7e25
Merge branch 'master' into master
7 years ago
Bernhard Mueller 1f982be39d Bump version number
7 years ago
Bernhard Mueller bff4c94fc5
Update README.md
7 years ago
Bernhard Mueller 873f7be5af
Update README.md
7 years ago
Joe 5fe1b5149d adding exception in _can_change()
7 years ago
Bernhard Mueller 2b89856d2a Revert graph generation code to process a single contract
7 years ago
Bernhard Mueller 58eadb9cf6
Merge pull request #173 from tintinweb/refactor/main
7 years ago
tintinweb 4c21f2bcc1 fix invalid rval syntax
7 years ago
tintinweb 29bad797da remove 'address' from Mytrhil init as it is not required
7 years ago
tintinweb 94f11c482c Merge branch 'refactor/main' of https://github.com/tintinweb/mythril into refactor/main
7 years ago