angr.analyses.decompiler.ssailification.ssailification¶

type angr.analyses.decompiler.ssailification.ssailification.Kind = Literal['stack', 'reg']¶

type angr.analyses.decompiler.ssailification.ssailification.UDef = tuple[Kind, int, int]¶

type angr.analyses.decompiler.ssailification.ssailification.Def = StackBaseOffset | Register¶

class angr.analyses.decompiler.ssailification.ssailification.Ssailification¶

Bases: Analysis

Ssailification (SSA-AIL-ification) transforms an AIL graph to its partial-SSA form.

__init__(func, ail_graph, entry=None, canonical_size=8, stack_pointer_tracker=None, func_addr=None, ail_manager=None, ssa_stackvars=False, ssa_tmps=False, func_args=None, rewrite_vvars=None, vvar_id_start=0)¶

Parameters:

func – The subject of the analysis: a function, or a single basic block
ail_graph – The AIL graph to transform.
canonical_size – The sizes (in bytes) that objects with an UNKNOWN_SIZE are treated as for operations where sizes are necessary.