angr.state_plugins.sim_action_object¶

angr.state_plugins.sim_action_object.ast_preserving_op(f, *args)¶

angr.state_plugins.sim_action_object.ast_stripping_decorator(f)¶

class angr.state_plugins.sim_action_object.SimActionObject¶

Bases: object

A SimActionObject tracks an AST and its dependencies.

__init__(ast, reg_deps=frozenset({}), tmp_deps=frozenset({}), deps=frozenset({}), state=None)¶

Parameters:

ast (claripy.ast.Base)
reg_deps (frozenset[SimActionData | SimActionOperation])
tmp_deps (frozenset[SimActionData | SimActionOperation])
deps (frozenset)
state (SimState | None)

ast: Base

reg_deps: frozenset[SimActionData | SimActionOperation]

tmp_deps: frozenset[SimActionData | SimActionOperation]

to_claripy()¶

Return type:: Base

copy()¶

Return type:: SimActionObject

is_leaf()¶

Return type:: bool

property op: str¶

property args: tuple[ArgType, ...]¶

property length: int | None¶

property variables: frozenset[str]¶

property symbolic: bool¶

property annotations: tuple[Annotation, ...]¶

property depth: int¶

SDiv(other)¶

Return type:: SimActionObject

SMod(other)¶

Return type:: SimActionObject

union(other)¶

Return type:: SimActionObject

intersection(other)¶

Return type:: SimActionObject

widen(other)¶

Return type:: SimActionObject

raw_to_bv()¶

Return type:: SimActionObject

bv_to_fp()¶

Return type:: SimActionObject