angr.analyses.decompiler.ssailification.rewriting

class angr.analyses.decompiler.ssailification.rewriting.RewritingAnalysis

Bases: object

RewritingAnalysis traverses the AIL graph, inserts phi nodes, and rewrites all expression uses to virtual variables when necessary.

__init__(project, func, ail_graph, phiid_to_udef, block_to_phiids, rewrite_tmps, ail_manager, func_args, def_to_udef, extern_defs, incomplete_defs, vvar_id_start=0, stackvars=False, fail_fast=False)

property max_vvar_id: int | None

create_phi_statements(node, phiid_to_udef, phi_ids)

Return type:

list[Assignment]

Parameters:

• node (Block)

• phiid_to_udef (dict[int, UDef])

• phi_ids (Iterable[int])

static insert_phi_statements(node, phi_stmts)

Parameters:

• node (Block)

• phi_stmts (list[Assignment])