Commit Graph

4442 Commits (vuln_edits)
 

Author SHA1 Message Date
Bernhard Mueller 33f5584e8e Intialise account when balance instruction is executed 5 years ago
Bernhard Mueller a6047454f2 Merge branch 'ether_transfer' of github.com:ConsenSys/mythril into ether_transfer 5 years ago
Bernhard Mueller 29f45165ea Fix duplicate function name 5 years ago
Bernhard Mueller b66850f529
Merge branch 'develop' into ether_transfer 5 years ago
Nikhil Parasaram d5f09f6814
Quick fix for localhost rpc (#1346) 5 years ago
Bernhard Mueller 58bdc64b84 Consider STATICCALL a mutating instruction in pruning plugins 5 years ago
Bernhard Mueller b05c76df9f Add ether transfer to TransactionStartSignal exception handler 5 years ago
Bernhard Mueller ae6a70f802
Merge pull request #1344 from ConsenSys/dld_updates 5 years ago
Bernhard Mueller f66eb3fb7f
Merge branch 'develop' into dld_updates 5 years ago
Nikhil Parasaram 50ff5c0185 Fix black 5 years ago
Nikhil Parasaram 18897d492d
Another error description update 5 years ago
Nikhil Parasaram 8fac698b46
error description update 5 years ago
marcuswin e345a181ea
Update urls (#1345) 5 years ago
Joran Honig 5771158671 perform check before log statement 5 years ago
Joran Honig fce4d6f967 Merge remote-tracking branch 'origin/feature/enable_detection_plugins' into feature/enable_detection_plugins 5 years ago
Joran Honig 1810884b9e add plugin name parameter 5 years ago
Bernhard Mueller b7a48d3a72 Fix remaining usage of storage_loading 5 years ago
Bernhard Mueller 1d6a8a6767 Merge branch 'dyd_2' into dld_updates 5 years ago
Bernhard Mueller 2bcb5fd3a1 Refactor loader flags 5 years ago
Bernhard Mueller 43f90a8ab9 Attempt to format address only if value is not symbolic 5 years ago
Bernhard Mueller b48235cb59 Catch loader exceptions (FIXME: shouldn't attempt to use dynld when rpc is not set) 5 years ago
Bernhard Mueller a376ea6c44 More black 5 years ago
Bernhard Mueller 0daa07bd3c Black 5 years ago
Bernhard Mueller 84dc7998ee Virtual account don't need dynloader 5 years ago
Bernhard Mueller b7cee9cd14
Merge branch 'develop' into feature/enable_detection_plugins 5 years ago
Bernhard Mueller 27f3693de6
Merge pull request #1340 from ConsenSys/modules_usability 5 years ago
Bernhard Mueller 0da22a957c
Merge branch 'develop' into modules_usability 5 years ago
Nikhil Parasaram 27b941791b
Upgrade infura (#1341) 5 years ago
Nikhil Parasaram 7924a16514 Fix mypy 5 years ago
Nikhil Parasaram 54b4e222fc Fix black 5 years ago
Bernhard Mueller e966626b69
Merge branch 'develop' into modules_usability 5 years ago
Nikhil Parasaram df744b863d
Move some code to common file (#1343) 5 years ago
Joran Honig 7f99509a0e Merge remote-tracking branch 'origin/develop' into feature/enable_detection_plugins 5 years ago
Joran Honig 0f2d406059 black 5 years ago
Joran Honig 41b3917379 make variable name explicitly connected to plugins 5 years ago
Joran Honig 11c2bc3cb8 make static and add documentation 5 years ago
Joran Honig f1082e2dd9 add detection module loading logic 5 years ago
Joran Honig 02fed33ea0 check subclass rather than instance of 5 years ago
Joran Honig d9f6f9b6e6 add logging to load function of plugin loader 5 years ago
Joran Honig 3acc3ef3a6 load plugins that are enabled by default 5 years ago
Joran Honig 9606bd3d88 add helper function to discovery to list plugins 5 years ago
Joran Honig 27aff199e9 initialise mythril plugin loader at start 5 years ago
Bernhard Mueller bca745faaa
Update README.md 5 years ago
Bernhard Mueller 066e10667d
Merge pull request #1338 from ConsenSys/creator_origin_fix 5 years ago
Bernhard Mueller 7d166f7073
Update mythril/analysis/module/modules/state_change_external_calls.py 5 years ago
Nikhil Parasaram 2af3eaa512 Merge branch 'develop' of github.com:ConsenSys/mythril into creator_origin_fix 5 years ago
Bernhard Mueller a0f78e9337 Add printer for listing detection modules 5 years ago
Bernhard Mueller 02107c2043 black 5 years ago
Bernhard Mueller 710001c42e Modify cmdline argument order 5 years ago
Bernhard Mueller ddd0985253 Refactor module names 5 years ago