DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

add trace to manticore/angr logging

Browse Source
This commit is contained in:
Alex Groce
2018-12-22 20:46:08 -07:00
parent 55644b534e
commit 3590a6025c
2 changed files with 11 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bin/deepstate/main_angr.py
+5 -1
View File
@@ -19,8 +19,12 @@ import multiprocessing
import traceback
from .common import DeepState, TestInfo
logging.addLevelName(15, "TRACE")
L = logging.getLogger("deepstate.angr")
L.setLevel(logging.TRACE)
def log_trace(msg, *args, **kwargs):
logging.log(15, msg, args, kwargs)
L.TRACE = log_trace
L.setLevel(L.TRACE)
class DeepAngr(DeepState):
bin/deepstate/main_manticore.py
+6 -3
View File
@@ -31,9 +31,12 @@ from .common import DeepState, TestInfo
from manticore.core.state import TerminateState
L = logging.getLogger("deepstate.mcore")
L.setLevel(logging.TRACE)
logging.addLevelName(15, "TRACE")
L = logging.getLogger("deepstate.angr")
def log_trace(msg, *args, **kwargs):
logging.log(15, msg, args, kwargs)
L.TRACE = log_trace
L.setLevel(L.TRACE)
OUR_TERMINATION_REASON = "I DeepState'd it"