 |
miasm
Reverse engineering framework
|
|
miasm
Reverse engineering framework
|
Public Member Functions | |
| def | mem_read (self, expr_mem) |
| def | mem_write (self, dest, data) |
 Public Member Functions inherited from miasm.jitter.emulatedsymbexec.EmulatedSymbExec | |
| def | __init__ (self, cpu, vm, *args, **kwargs) |
| def | reset_regs (self) |
| def | update_cpu_from_engine (self) |
| def | update_engine_from_cpu (self) |
| def | enable_emulated_simplifications (self) |
| Public Member Functions inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| def | __init__ (self, ir_arch, state=None, sb_expr_simp=expr_simp_explicit) |
| def | get_state (self) |
| def | set_state (self, state) |
| def | eval_expr_visitor (self, expr, cache=None) |
| def | eval_exprint (self, expr, **kwargs) |
| def | eval_exprid (self, expr, **kwargs) |
| def | eval_exprloc (self, expr, **kwargs) |
| def | eval_exprmem (self, expr, **kwargs) |
| def | eval_exprcond (self, expr, **kwargs) |
| def | eval_exprslice (self, expr, **kwargs) |
| def | eval_exprop (self, expr, **kwargs) |
| def | eval_exprcompose (self, expr, **kwargs) |
| def | eval_expr (self, expr, eval_cache=None) |
| def | modified (self, init_state=None, ids=True, mems=True) |
| def | dump (self, ids=True, mems=True) |
| def | eval_assignblk (self, assignblk) |
| def | apply_change (self, dst, src) |
| def | eval_updt_assignblk (self, assignblk) |
| def | eval_updt_irblock (self, irb, step=False) |
| def | run_block_at (self, ircfg, addr, step=False) |
| def | run_at (self, ircfg, addr, lbl_stop=None, step=False) |
| def | del_mem_above_stack (self, stack_ptr) |
| def | eval_updt_expr (self, expr) |
Additional Inherited Members | |
| Public Attributes inherited from miasm.jitter.emulatedsymbexec.EmulatedSymbExec | |
| cpu | |
| vm | |
| Public Attributes inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| expr_to_visitor | |
| symbols | |
| ir_arch | |
| expr_simp | |
| Static Public Attributes inherited from miasm.jitter.emulatedsymbexec.EmulatedSymbExec | |
| dictionary | x86_cpuid |
| Static Public Attributes inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| StateEngine = SymbolicState | |
| Properties inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| state = property(get_state, set_state) | |
Emulated symb exec with memory access tracking
| def trace.ESETrackMemory.mem_read | ( | self, | |
| expr_mem | |||
| ) |
Memory read wrapper for symbolic execution @expr_mem: ExprMem
Reimplemented from miasm.jitter.emulatedsymbexec.EmulatedSymbExec.
| def trace.ESETrackMemory.mem_write | ( | self, | |
| dest, | |||
| data | |||
| ) |
Memory read wrapper for symbolic execution @dest: ExprMem instance @data: Expr instance
Reimplemented from miasm.jitter.emulatedsymbexec.EmulatedSymbExec.
1.8.20