angr.analyses.decompiler.goto_manager

class angr.analyses.decompiler.goto_manager.Goto

Bases: object

Describe the existence of a goto (jump) statement. May have multiple gotos with the same address (targets will differ).

__init__(src_addr, dst_addr, src_idx=None, dst_idx=None, src_ins_addr=None)
class angr.analyses.decompiler.goto_manager.GotoManager

Bases: object

Container class for all Gotos found in a function after decompilation structuring. This should be populated using GotoSimplifier.

__init__(func, gotos=None)
gotos_in_block(block)
Return type:

set[Goto]

Parameters:

block (Block)

is_goto_edge(src, dst)
Parameters:
find_goto_edges(graph)

This function finds all edges that are _potential_ gotos in the graph. The gotos are not guaranteed to be correct, but they are an approximation based on how the Phoenix structuring algorithm will select edges from the graph to be gotos in structuring.

Return type:

list[tuple[Block, Block]]

Parameters:

graph (DiGraph)