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

4811 Commits (81bb1e68f18469d894b6eface42f5b72c2fa4f13)
 

Author SHA1 Message Date
Nikhil Parasaram 7c34f300a5
add option for z3 parallelising (#1372)
5 years ago
Joran Honig ba564ce437 Merge remote-tracking branch 'origin/develop' into feature/laser_plugins
5 years ago
Joran Honig 69ec27885a remove dependency on plugin annotation
5 years ago
Joran Honig 00cf893807 make mutation annotations persist over calls
5 years ago
Joran Honig 5e140d6f1e refactor propagation logic to be more generic
5 years ago
Joran Honig 4ec4ef242f add persist over call property
5 years ago
Joran Honig 93fdbf12a3 add todo relating to dependency on plugin from the svm
5 years ago
Joran Honig 9631c3efd5 remove import from init
5 years ago
Joran Honig ccca3d0c5b remove unused import from init
5 years ago
Joran Honig 647692693f remove unused parametere
5 years ago
Joran Honig 3a5fc9372e remove unused enable_coverage strategy
5 years ago
Joran Honig 73de74b6df call items()
5 years ago
Joran Honig 4def8010a3 make laser plugins be builders
5 years ago
Joran Honig ca8bad0a8e remove unused parameter
5 years ago
Nikhil Parasaram 1ddfc598be
Fix string loop errors (#1370)
5 years ago
Nikhil Parasaram c99555d69b
0.22.4
5 years ago
Nikhil Parasaram bbe446a152
Remove/edelweiss (#1369)
5 years ago
Nikhil Parasaram a582ed700c
Remove integration test run (#1368)
5 years ago
Nikhil Parasaram 9fafc4edaa
remove edelweiss run for now (#1367)
5 years ago
Nikhil Parasaram 2541ea5f50
0.22.3
5 years ago
Nikhil Parasaram 1cf4df9b59
Unconstrained storage (#1366)
5 years ago
Nikhil Parasaram 805ecdadc5
Fix imports (#1365)
5 years ago
Anthony Salvato 01e689e771
Fixing a typo in README (#1363)
5 years ago
Nikhil Parasaram 30f30a2ebf
v0.22.2
5 years ago
Nikhil Parasaram 68469facb0
Update descriptions (#1359)
5 years ago
JoranHonig 9d42356680
Merge pull request #1358 from ConsenSys/fix/quick
5 years ago
JoranHonig 5faac03012
Merge branch 'develop' into fix/quick
5 years ago
Bernhard Mueller 6151523103
Merge pull request #1352 from ConsenSys/remove_branch_pruning
5 years ago
Bernhard Mueller 0fdd655d70
Merge branch 'develop' into remove_branch_pruning
5 years ago
Nikhil Parasaram f94b71e681 Use the function rather than variable
5 years ago
Bernhard Mueller b04511ab5b
Merge pull request #1357 from ConsenSys/vuln_edits
5 years ago
Nikhil Parasaram 040e462d6c
Update mythril/plugin/discovery.py
5 years ago
Nikhil Parasaram aeda36dc6f
Update mythril/plugin/discovery.py
5 years ago
Nikhil Parasaram 08f95cbb57
Update mythril/plugin/discovery.py
5 years ago
Bernhard Mueller 3b23c90178
Update mythril/analysis/module/modules/arbitrary_jump.py
5 years ago
Nikhil Parasaram 94138828cd Delay search for plugins
5 years ago
Bernhard Mueller aff3ec67b0 Update tx.origin test to excpect SWC-115
5 years ago
Bernhard Mueller 01e6aaa45e Finalize new descriptions
5 years ago
Bernhard Mueller b91911bc38 Update more descriptions
5 years ago
Bernhard Mueller 733ae31a29 Simply dependence on predictable vars module
5 years ago
Bernhard Mueller c67cae6360 Add new module for SWC-115
5 years ago
Bernhard Mueller d6f4ddec56 Remove old deprecated_ops module
5 years ago
Bernhard Mueller d6cddb0f2d Update first few descriptions
5 years ago
Bernhard Mueller e4bbf70f83 Bump version
5 years ago
Bernhard Mueller 80b8a59a31
Merge pull request #1355 from ConsenSys/origin_model
5 years ago
Bernhard Mueller 399329c0d3
Merge pull request #1356 from ConsenSys/external_calls
5 years ago
Bernhard Mueller f731c3bbde Don't use PotentialIssue system in deprectated ops module
5 years ago
Bernhard Mueller 4391d1ae55 Revert tests
5 years ago
Bernhard Mueller f5fc3c304d Also update origin.sol.easm
5 years ago
Bernhard Mueller 808d879d64 Only warn about calls to user-supplied addresses
5 years ago