angr.analyses.dominance_frontier¶

class angr.analyses.dominance_frontier.DominanceFrontier¶

Bases: Generic[T_co]

Computes the dominance frontier of all nodes in a function graph, and provides an easy-to-use interface for querying the frontier information.

Overloads:

func (Function), func_graph (networkx.DiGraph[T_co]), entry (T_co), exception_edges (bool) = False
func (Function), func_graph (networkx.DiGraph[CodeNode] | None) = None, entry (CodeNode | None) = None, exception_edges (bool) = False

__init__(func, func_graph=None, entry=None, exception_edges=False)¶

Overloads:

func (Function), func_graph (networkx.DiGraph[T_co]), entry (T_co), exception_edges (bool) = False
func (Function), func_graph (networkx.DiGraph[CodeNode] | None) = None, entry (CodeNode | None) = None, exception_edges (bool) = False

Parameters:

angr.analyses.dominance_frontier.calculate_iterated_dominace_frontier_set(frontiers, blocks)¶

Return type:

set

Parameters: