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

1139 Commits (b18edc8d5da2e43da48c24ff4350eaa1e9ff6682)
 

Author SHA1 Message Date
Konrad Weiss b18edc8d5d Adding files for source code params to symbolic value mapping
7 years ago
Konrad Weiss 62ae88b652 Adding chaining of transactions, using z3 substitution to carry over intertransactional sym. values and combine constraints. Usage of z3 simplification on a (currently only) singular constraint value. and satisfiability checking to consider only valid transactions.
7 years ago
Konrad Weiss df6a88e062 Building transactionchains of up to length 4 for trial, correcting some mistakes when creating transaction and combining them
7 years ago
Konrad Weiss 02aa2952e4 Adding first working transacation application purely working on the stack and not considering the combination of constraints
7 years ago
Konrad Weiss 0f458e7541 Add the first code to build transaction traces from the storage state at STOP instruction and a combination strategy to build felxibly large trace chain combinations. Starting from the trace of a constructor and using the traces of the external and public functions of a contract. All possible programmstates to a certain depth can be reached.
7 years ago
Konrad Weiss c3131a579d Add annotation files such as the wrapper in front of the analysis and the annotation class structures
7 years ago
Konrad Weiss 70573ffdd0 Adding base file for solidnotary extension to mythril
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
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