angr.analyses.forward_analysis.visitors

class angr.analyses.forward_analysis.visitors.CallGraphVisitor

Bases: GraphVisitor

Parameters:

callgraph (networkx.DiGraph)

__init__(callgraph)
class angr.analyses.forward_analysis.visitors.FunctionGraphVisitor

Bases: GraphVisitor

Parameters:

func (knowledge.Function)

__init__(func, graph=None)
resume_with_new_graph(graph)

We can only reasonably reuse existing results if the node index of the already traversed nodes are the same as the ones from the new graph. Otherwise, we always restart.

Return type:

bool

Returns:

True if we are resuming, False if reset() is called.

Parameters:

graph (DiGraph)

class angr.analyses.forward_analysis.visitors.LoopVisitor

Bases: GraphVisitor

Parameters:

loop (angr.analyses.loopfinder.Loop) – The loop to visit.

__init__(loop)
class angr.analyses.forward_analysis.visitors.SingleNodeGraphVisitor

Bases: GraphVisitor

Parameters:

node – The single node that should be in the graph.

__init__(node)
node
node_returned

Submodules