diff options
Diffstat (limited to 'example/symbol_exec')
| -rw-r--r-- | example/symbol_exec/depgraph.py | 8 | ||||
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 12 | ||||
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 8 | ||||
| -rw-r--r-- | example/symbol_exec/single_instr.py | 8 |
4 files changed, 18 insertions, 18 deletions
diff --git a/example/symbol_exec/depgraph.py b/example/symbol_exec/depgraph.py index c1dbd422..c7b9017f 100644 --- a/example/symbol_exec/depgraph.py +++ b/example/symbol_exec/depgraph.py @@ -6,10 +6,10 @@ import json from future.utils import viewitems -from miasm2.analysis.machine import Machine -from miasm2.analysis.binary import Container -from miasm2.analysis.depgraph import DependencyGraph -from miasm2.expression.expression import ExprMem, ExprId, ExprInt +from miasm.analysis.machine import Machine +from miasm.analysis.binary import Container +from miasm.analysis.depgraph import DependencyGraph +from miasm.expression.expression import ExprMem, ExprId, ExprInt parser = ArgumentParser("Dependency grapher") parser.add_argument("filename", help="Binary to analyse") diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py index 33ec3b72..90774dc3 100644 --- a/example/symbol_exec/dse_crackme.py +++ b/example/symbol_exec/dse_crackme.py @@ -16,10 +16,10 @@ from pdb import pm from tempfile import NamedTemporaryFile from future.utils import viewitems -from miasm2.core.utils import int_to_byte -from miasm2.jitter.csts import PAGE_READ, PAGE_WRITE -from miasm2.analysis.sandbox import Sandbox_Linux_x86_64 -from miasm2.expression.expression import * +from miasm.core.utils import int_to_byte +from miasm.jitter.csts import PAGE_READ, PAGE_WRITE +from miasm.analysis.sandbox import Sandbox_Linux_x86_64 +from miasm.expression.expression import * is_win = platform.system() == "Windows" @@ -96,8 +96,8 @@ sb.jitter.init_run(sb.entry_point) #### This part handle the DSE #### -from miasm2.analysis.dse import DSEPathConstraint -from miasm2.analysis.machine import Machine +from miasm.analysis.dse import DSEPathConstraint +from miasm.analysis.machine import Machine # File "management" diff --git a/example/symbol_exec/dse_strategies.py b/example/symbol_exec/dse_strategies.py index 8e479d61..3f968215 100644 --- a/example/symbol_exec/dse_strategies.py +++ b/example/symbol_exec/dse_strategies.py @@ -22,10 +22,10 @@ from argparse import ArgumentParser from future.utils import viewitems -from miasm2.analysis.machine import Machine -from miasm2.jitter.csts import PAGE_READ, PAGE_WRITE -from miasm2.analysis.dse import DSEPathConstraint -from miasm2.expression.expression import ExprMem, ExprId, ExprInt, ExprAssign +from miasm.analysis.machine import Machine +from miasm.jitter.csts import PAGE_READ, PAGE_WRITE +from miasm.analysis.dse import DSEPathConstraint +from miasm.expression.expression import ExprMem, ExprId, ExprInt, ExprAssign # Argument handling parser = ArgumentParser("DSE Example") diff --git a/example/symbol_exec/single_instr.py b/example/symbol_exec/single_instr.py index bdc65360..789252df 100644 --- a/example/symbol_exec/single_instr.py +++ b/example/symbol_exec/single_instr.py @@ -1,9 +1,9 @@ from __future__ import print_function # Minimalist Symbol Exec example -from miasm2.analysis.binary import Container -from miasm2.analysis.machine import Machine -from miasm2.ir.symbexec import SymbolicExecutionEngine -from miasm2.core.locationdb import LocationDB +from miasm.analysis.binary import Container +from miasm.analysis.machine import Machine +from miasm.ir.symbexec import SymbolicExecutionEngine +from miasm.core.locationdb import LocationDB START_ADDR = 0 machine = Machine("x86_32") |