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: 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[Base | bool | int | float | str | FSort | tuple[Base | bool | int | float | str | FSort | tuple[ArgType] | None] | None, ...]
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