diff options
Diffstat (limited to 'miasm2/analysis/depgraph.py')
| -rw-r--r-- | miasm2/analysis/depgraph.py | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/miasm2/analysis/depgraph.py b/miasm2/analysis/depgraph.py index 214cf819..f500a736 100644 --- a/miasm2/analysis/depgraph.py +++ b/miasm2/analysis/depgraph.py @@ -2,7 +2,7 @@ import miasm2.expression.expression as m2_expr from miasm2.core.graph import DiGraph -from miasm2.core.asmbloc import asm_label, expr_is_int_or_label, expr_is_label +from miasm2.core.asmbloc import AsmLabel, expr_is_int_or_label, expr_is_label from miasm2.expression.simplifications import expr_simp from miasm2.ir.symbexec import SymbolicExecutionEngine from miasm2.ir.ir import IRBlock, AssignBlock @@ -28,7 +28,7 @@ class DependencyNode(object): def __init__(self, label, element, line_nb): """Create a dependency node with: - @label: asm_label instance + @label: AsmLabel instance @element: Expr instance @line_nb: int """ @@ -107,7 +107,7 @@ class DependencyState(object): def extend(self, label): """Return a copy of itself, with itself in history - @label: asm_label instance for the new DependencyState's label + @label: AsmLabel instance for the new DependencyState's label """ new_state = self.__class__(label, self.pending) new_state.links = set(self.links) @@ -297,7 +297,7 @@ class DependencyResult(DependencyState): line_nb).irs # Eval the block - temp_label = asm_label("Temp") + temp_label = AsmLabel("Temp") symb_exec = SymbolicExecutionEngine(self._ira, ctx_init) symb_exec.emulbloc(IRBlock(temp_label, assignblks), step=step) @@ -416,7 +416,7 @@ class FollowExpr(object): """Build a set of FollowExpr(DependencyNode) from the @follow_exprs set of FollowExpr @follow_exprs: set of FollowExpr - @label: asm_label instance + @label: AsmLabel instance @line: integer """ dependencies = set() @@ -590,10 +590,10 @@ class DependencyGraph(object): """Compute the dependencies of @elements at line number @line_nb in the block named @label in the current IRA, before the execution of this line. Dependency check stop if one of @heads is reached - @label: asm_label instance + @label: AsmLabel instance @element: set of Expr instances @line_nb: int - @heads: set of asm_label instances + @heads: set of AsmLabel instances Return an iterator on DiGraph(DependencyNode) """ # Init the algorithm @@ -630,7 +630,7 @@ class DependencyGraph(object): argument. PRE: Labels and lines of depnodes have to be equals @depnodes: set of DependencyNode instances - @heads: set of asm_label instances + @heads: set of AsmLabel instances """ lead = list(depnodes)[0] elements = set(depnode.element for depnode in depnodes) |