diff options
Diffstat (limited to 'example/expression')
| -rw-r--r-- | example/expression/solve_condition_stp.py | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/example/expression/solve_condition_stp.py b/example/expression/solve_condition_stp.py index 004b36f4..8c65c83c 100644 --- a/example/expression/solve_condition_stp.py +++ b/example/expression/solve_condition_stp.py @@ -1,5 +1,10 @@ import os import sys +import subprocess +from collections import defaultdict +from optparse import OptionParser +from pdb import pm + from miasm2.arch.x86.arch import * from miasm2.arch.x86.regs import * from miasm2.arch.x86.sem import * @@ -9,15 +14,9 @@ from miasm2.expression.expression import get_rw from miasm2.ir.symbexec import symbexec from miasm2.expression.simplifications import expr_simp from miasm2.expression import stp -from collections import defaultdict -from optparse import OptionParser -import subprocess from miasm2.core import parse_asm - from miasm2.arch.x86.disasm import dis_x86_32 as dis_engine -from pdb import pm - filename = os.environ.get('PYTHONSTARTUP') if filename and os.path.isfile(filename): |