angr.analyses.typehoon.dfa

exception angr.analyses.typehoon.dfa.EmptyEpsilonNFAError

Bases: AngrError

A notification exception generated when the epsilon NFA is empty.

class angr.analyses.typehoon.dfa.DFAConstraintSolver

Bases: object

Implements a DFA-based graph solver.

static graph_to_epsilon_nfa(graph, starts, ends)

Return type:

EpsilonNFA

Parameters:

• graph (DiGraph)

• starts (set)

• ends (set)

generate_constraints_between(graph, starts, ends)

Return type:

set

Parameters:

• graph (DiGraph)

• starts (set)

• ends (set)