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

3460 Commits (analysis/TOD)
 

Author SHA1 Message Date
Joran Honig d3103d780f remove unused dependency from external calls module
6 years ago
JoranHonig 8c45c18188
Merge pull request #989 from ConsenSys/features/coverage_based_search_strategy
6 years ago
Joran Honig c4b25f482b apply style changes
6 years ago
Joran Honig 1737e50e73 implement instruction coverage based plugin
6 years ago
Joran Honig c966152d4c move coverage plugin to separate package and add function to
6 years ago
Joran Honig aad81074f7 add type hints to strategy
6 years ago
JoranHonig 71f1b95ee1
Merge pull request #986 from ConsenSys/maintenance/use_instruction_coverage_plugin
6 years ago
JoranHonig aab295d7b4
Merge branch 'develop' into maintenance/use_instruction_coverage_plugin
6 years ago
Nikhil Parasaram 71764dbe31
Update version to 0.20.3
6 years ago
Joran Honig 0c6c9de851 add per transaction coverage increase metrics
6 years ago
Joran Honig 1d8995402d add transaction hooks to svm
6 years ago
Joran Honig 6971b2c2e7 add todo comment to benchmark plugin
6 years ago
Joran Honig e55fb49440 remove coverage related logic from svm
6 years ago
Joran Honig 45569d9f1f enable coverage plugin in symbolic.py
6 years ago
JoranHonig 9a9595ae7d
Merge pull request #983 from ConsenSys/features/plugin_loader_sym
6 years ago
Joran Honig 3b444fd4bc Merge branch 'develop' into features/plugin_loader_sym
6 years ago
Joran Honig 8c1e7e58b5 add matplotlib to dependencies
6 years ago
Nikhil Parasaram 802ec0d30f Remove node from usage in state_change module
6 years ago
Nikhil Parasaram ecbd6711e1 Merge branch 'enhance/886' of github.com:ConsenSys/mythril into enhance/886
6 years ago
Nikhil Parasaram 259c0f28dc Fix merge conflicts and add check for SSTORE in annotations
6 years ago
Nikhil Parasaram e861c35bd6
Merge pull request #984 from ConsenSys/features/coverage_plugin
6 years ago
Nikhil Parasaram 8cddc7039d
Merge branch 'develop' into features/coverage_plugin
6 years ago
Nikhil Parasaram cb12af78fa
Merge pull request #977 from ConsenSys/features/cleanup_cfg
6 years ago
Nikhil Parasaram 47bce55067
Merge branch 'develop' into features/cleanup_cfg
6 years ago
Nikhil Parasaram 8f4c438c86
Merge pull request #985 from ConsenSys/maintenance/cleanup_dynamic_load
6 years ago
Joran Honig 58a32f6f06 cleanup comment string
6 years ago
Joran Honig aab48a8e63 remove unnecessary variable from dynamic loading function
6 years ago
Joran Honig fd51315361 make typehint compatible with older python version
6 years ago
Joran Honig 302817340f remove dependency from setup
6 years ago
Joran Honig c3300a755c add typehint for coverage dict
6 years ago
Joran Honig 14cd59c15e add matplotlib to dev requirements
6 years ago
Joran Honig d239b60e38 apply style rules
6 years ago
Joran Honig 5a6a9c6681 do import only in function
6 years ago
Joran Honig 83891a379b add instruction coverage plugin to plugin factory
6 years ago
Joran Honig c50c9b1a0e implement hooks for instruction coverage
6 years ago
Joran Honig 223d7fe9b2 implement stub instruction coverage plugin
6 years ago
Joran Honig dca04b11ac use plugin loader and factory
6 years ago
Joran Honig e7cc359de2 add log action to plugin loader
6 years ago
Joran Honig d300f6e676 Merge remote-tracking branch 'origin/develop' into features/cleanup_cfg
6 years ago
Joran Honig f636ee1c41 change active function name and contract name discovery
6 years ago
JoranHonig a72b58db3d
Merge pull request #980 from ConsenSys/features/pluginloader
6 years ago
JoranHonig eb999f620b
Merge branch 'develop' into features/pluginloader
6 years ago
JoranHonig 6b2e847caa
Merge pull request #981 from ConsenSys/maintenance/remove_old_taint_analysis
6 years ago
JoranHonig 69dc09d202
Merge branch 'develop' into maintenance/remove_old_taint_analysis
6 years ago
Nikhil Parasaram 35e1f3dac2
Merge pull request #982 from ConsenSys/maintenance/remove_old_tod
6 years ago
Joran Honig e70cd37b2f add type hint to laser_plugins
6 years ago
Joran Honig 17ca323535 remove old tod module
6 years ago
Joran Honig 313bbec18f fix broken import
6 years ago
Joran Honig dc7c04c009 fix broken import
6 years ago
Joran Honig 2f107cece8 remove circular dependency
6 years ago