module greed.state_plugins.inspect
Global Variables
- OP_BEFORE
- OP_AFTER
class SimStateInspect
A plugin that allows for breakpoints to be set on statements.
method __init__
method copy
Deep copy this state plugin.
method stop_at_stmt
Stop at a statement with a given name (e.g., CALL)
Args:
stmt_name
: The name of the statement to stop at.func
: The function to call when the breakpoint is hit (default: ipdb.set_trace())when
: Whether to stop before or after the statement.
method stop_at_stmt_id
Stop at a statement with a given ID (i.e., PC)
Args:
stmt_id
: The ID of the statement to stop at.func
: The function to call when the breakpoint is hit.when
: Whether to stop before or after the statement.
The default function if none is provided is: ''' def justStop(simgr, state): log.warning("💥 Triggered breakpoint at {}".format(state.pc)) import ipdb; ipdb.set_trace() '''
This file was automatically generated via lazydocs.