angr.slicer

class angr.slicer.SimLightState

Bases: object

Represents a program state. Only used in SimSlicer.

__init__(temps=None, regs=None, stack_offsets=None, options=None)

temps

regs

stack_offsets

options

class angr.slicer.SimSlicer

Bases: object

A super lightweight intra-IRSB slicing class.

__init__(arch, statements, target_tmps=None, target_regs=None, target_stack_offsets=None, inslice_callback=None, inslice_callback_infodict=None, include_imarks=True)

Parameters:

include_imarks (bool)