Public Member Functions | |
def | __init__ |
def | graph |
def | history |
def | unresolved |
def | relevant_nodes |
def | relevant_labels |
def | input |
def | has_loop |
def | emul |
Private Attributes | |
_ira | |
_depdict | |
_input_depnodes | |
_graph | |
_has_loop | |
Container and methods for DependencyGraph results
Definition at line 463 of file depgraph.py.
def miasm2.analysis.depgraph.DependencyResult.__init__ | ( | self, | |
ira, | |||
final_depdict, | |||
input_depnodes | |||
) |
Instance a DependencyResult @ira: IRAnalysis instance @final_depdict: DependencyDict instance @input_depnodes: set of DependencyNode instance
Definition at line 467 of file depgraph.py.
def miasm2.analysis.depgraph.DependencyResult.emul | ( | self, | |
ctx = None , |
|||
step = False |
|||
) |
Symbolic execution of relevant nodes according to the history Return the values of input nodes' elements @ctx: (optional) Initial context as dictionnary @step: (optional) Verbose execution Warning: The emulation is not sound if the input nodes depend on loop variant.
Definition at line 539 of file depgraph.py.
def miasm2.analysis.depgraph.DependencyResult.graph | ( | self | ) |
Returns a DiGraph instance representing the DependencyGraph
Definition at line 483 of file depgraph.py.
def miasm2.analysis.depgraph.DependencyResult.has_loop | ( | self | ) |
True if current dictionnary has a loop
Definition at line 532 of file depgraph.py.
def miasm2.analysis.depgraph.DependencyResult.history | ( | self | ) |
List of depdict corresponding to the blocks encountered in the analysis
Definition at line 490 of file depgraph.py.
def miasm2.analysis.depgraph.DependencyResult.input | ( | self | ) |
def miasm2.analysis.depgraph.DependencyResult.relevant_labels | ( | self | ) |
List of labels containing nodes influencing @self.input_depnodes. The history order is preserved.
Definition at line 511 of file depgraph.py.
def miasm2.analysis.depgraph.DependencyResult.relevant_nodes | ( | self | ) |
Set of nodes directly and indirectly influencing @self.input_depnodes
Definition at line 502 of file depgraph.py.
def miasm2.analysis.depgraph.DependencyResult.unresolved | ( | self | ) |
|
private |
Definition at line 475 of file depgraph.py.
|
private |
Definition at line 479 of file depgraph.py.
|
private |
Definition at line 480 of file depgraph.py.
|
private |
Definition at line 476 of file depgraph.py.
|
private |
Definition at line 474 of file depgraph.py.