angr.state_plugins.sim_action

class angr.state_plugins.sim_action.SimAction

Bases: SimEvent

A SimAction represents a semantic action that an analyzed program performs.

TMP = 'tmp'

REG = 'reg'

MEM = 'mem'

__init__(state, region_type)

Initializes the SimAction.

Parameters:

state – the state that’s the SimAction is taking place in.

property all_objects

property is_symbolic

property tmp_deps

property reg_deps

copy()

downsize()

Clears some low-level details (that take up memory) out of the SimAction.

class angr.state_plugins.sim_action.SimActionExit

Bases: SimAction

An Exit action represents a (possibly conditional) jump.

CONDITIONAL = 'conditional'

DEFAULT = 'default'

property all_objects

property is_symbolic

class angr.state_plugins.sim_action.SimActionConstraint

Bases: SimAction

A constraint action represents an extra constraint added during execution of a path.

property all_objects

property is_symbolic

class angr.state_plugins.sim_action.SimActionOperation

Bases: SimAction

An action representing an operation between variables and/or constants.

property all_objects

property is_symbolic

class angr.state_plugins.sim_action.SimActionData

Bases: SimAction

A Data action represents a read or a write from memory, registers or a file.

READ = 'read'

WRITE = 'write'

OPERATE = 'operate'

property all_objects

property is_symbolic

property tmp_deps

property reg_deps

property storage