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

4442 Commits (vuln_edits)
 

Author SHA1 Message Date
Joran Honig 0f4453dbfb fix type in symbolic
5 years ago
Joran Honig f16a63c3e2 use entry point enum
5 years ago
Joran Honig 213efc90dd black 😄
5 years ago
Joran Honig 943d7ef33b use enum vs string
5 years ago
Joran Honig 889df71e46 Fix docstring
5 years ago
Joran Honig 564b11cd72 use class variables in user assertions module
5 years ago
Joran Honig a3fef2e9e7 use class variables in unchecked retval module
5 years ago
Joran Honig d2bb5654a1 use class variables in suicide module
5 years ago
Joran Honig 22e809b296 use class variables in state change module
5 years ago
Joran Honig 08a7900b5e use class variables in multiple sends module
5 years ago
Joran Honig a2e2abb0a0 use class variables in integer module
5 years ago
Joran Honig 3702c5dd44 use class variables in external calls module
5 years ago
Joran Honig a0a0a1f64d use class variables in exceptions module
5 years ago
Joran Honig 727ea4b864 use class variables in ether thief module
5 years ago
Joran Honig bcc9e5d6c0 remove comma's
5 years ago
Joran Honig bb977e2f26 remove commas
5 years ago
Joran Honig 62c0e8ab27 use class variables in dependence on deprecated ops module
5 years ago
Joran Honig 16c4c6c134 use class variables in dependence on predictable vars module
5 years ago
Joran Honig 1d3d5320c2 use class variables in delegatecall module
5 years ago
Joran Honig 7762041efd use class variables in arbitrary write module
5 years ago
Joran Honig f2cd563d15 use class variables in arbitrary jump module
5 years ago
Joran Honig d2fbf07762 refactor class variables DetectionModule
5 years ago
JoranHonig b5cf76f326
Merge branch 'develop' into feature/mythril_plugins
5 years ago
Nikhil Parasaram a754b5f3a9
Mythril version 0.21.23
5 years ago
Nikhil Parasaram 2e5ef7230d
Loop bound only JUMPIs (#1329)
5 years ago
Joran Honig d2722e6fd6 Merge remote-tracking branch 'origin/feature/mythril_plugins' into feature/mythril_plugins
5 years ago
Joran Honig 338daff5e9 add repr implementation
5 years ago
JoranHonig 80467725f0
Merge branch 'develop' into feature/mythril_plugins
5 years ago
Nikhil Parasaram 83ef2c6024
Get annotations from Expr (#1332)
5 years ago
Nikhil Parasaram 4d2b331ac0
Add create and create2 test (#1308)
5 years ago
Joran Honig 95c6bb2396 entry point is a module directly
5 years ago
Joran Honig 4413a033ff whoop whoop black
5 years ago
Joran Honig 9f887bfdf1 Merge remote-tracking branch 'origin/feature/mythril_plugins' into feature/mythril_plugins
5 years ago
Joran Honig f5be80ef92 add documentation strings
5 years ago
Joran Honig 93661dc930 implement initial plugin discovery class
5 years ago
JoranHonig fc9adbfc4a
Merge branch 'develop' into feature/mythril_plugins
5 years ago
Joran Honig 22da6a7ce9 implement initial loader test
5 years ago
Joran Honig 064837d814 add interface tests
5 years ago
Joran Honig a27c8258fb expose plugin loader interface
5 years ago
Joran Honig 7ba773331b expose mythril plugin interfaces
5 years ago
Joran Honig b399131fdb add plugin loading handling base
5 years ago
Bernhard Mueller 49aa7462e5 Disable even more Infura-reliant tests
5 years ago
Joran Honig 30aeac5ece add interface stub
5 years ago
Joran Honig c48bdd5730 add mythril plugin module
5 years ago
Bernhard Mueller ab35dcd09b Disable more Infura tests
5 years ago
Bernhard Mueller de92272bf9 Disable Infura tests "temporarily"
5 years ago
Nikhil Parasaram f39be97d66
Version 0.21.22
5 years ago
Nikhil Parasaram db03af3dda
Save code to world state (#1314)
5 years ago
Nikhil Parasaram f3c45c153e
Support Istanbul fork (#1292)
5 years ago
Nikhil Parasaram 3be2b4b4aa
Version update v0.21.21
5 years ago