Commit Graph

4430 Commits (origin_model)
 

Author SHA1 Message Date
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
Nikhil Parasaram 27ce7d19fb
Remove create tests (#1307) 5 years ago
Nikhil Parasaram fff443f539
Fix Function signatures (#1289) 5 years ago
Nikhil Parasaram d4e97fe7d1
Remove native tests (#1305) 5 years ago
Nikhil Parasaram c965339959
Add statespace tests (#1248) 5 years ago
Nikhil Parasaram 3e167282e7
Bugfix calls (#1288) 5 years ago
Nikhil Parasaram 4ec5582511
Handle the case for bool (#1297) 5 years ago
Nikhil Parasaram 02dcacc45d
Fix creation transaction output (#1290) 5 years ago
Nikhil Parasaram a10e519a70
Add a retval before returning in native calls (#1296) 5 years ago
Nikhil Parasaram dab4a8f69a
Fix/natives (#1302) 5 years ago
Nikhil Parasaram c322fd142e
Leading zero fix (#1301) 5 years ago
Nikhil Parasaram c8a41fa065
Fix a typo 5 years ago
Bernhard Mueller da1e601a04
Fix typo in README 5 years ago