add execution info reporting to report

pull/1411/head
Joran Honig 4 years ago
parent 7144744624
commit ee2da9f6c7
  1. 13
      mythril/analysis/report.py

@ -248,6 +248,7 @@ class Report:
:return: :return:
""" """
# Setup issues
_issues = [] _issues = []
for key, issue in self.issues.items(): for key, issue in self.issues.items():
@ -274,7 +275,17 @@ class Report:
"extra": extra, "extra": extra,
} }
) )
meta_data = self._get_exception_data() # Setup meta
meta_data = self.meta
# Add logs to meta
meta_data["logs"] = self._get_exception_data()
# Add execution info to meta
meta_data["mythril_execution_info"] = {}
for execution_info in self.execution_info:
meta_data["mythril_execution_info"].update(execution_info.as_dict())
result = [ result = [
{ {
"issues": _issues, "issues": _issues,

Loading…
Cancel
Save