angr.analyses.cdg

class angr.analyses.cdg.CDG

Bases: Analysis

Implements a control dependence graph.

__init__(cfg, start=None, no_construct=False)

Constructor.

Parameters:

• cfg – The control flow graph upon which this control dependence graph will build

• start – The starting point to begin constructing the control dependence graph

• no_construct – Skip the construction step. Only used in unit-testing.

property graph

get_post_dominators()

Return the post-dom tree

get_dependants(run)

Return a list of nodes that are control dependent on the given node in the control dependence graph

get_guardians(run)

Return a list of nodes on whom the specific node is control dependent in the control dependence graph