 |
miasm
Reverse engineering framework
|
|
miasm
Reverse engineering framework
|
Public Member Functions | |
| def | manage_mem (self, expr, state, cache, level) |
 Public Member Functions inherited from miasm.ir.symbexec_top.SymbExecTopNoMem | |
| def | __init__ (self, ir_arch, state, regstop, sb_expr_simp=expr_simp) |
| def | get_state (self) |
| def | eval_expr (self, expr, eval_cache=None) |
| def | eval_exprid (self, expr, **kwargs) |
| def | eval_exprloc (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 | apply_change (self, dst, src) |
| Public Member Functions inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| def | __init__ (self, ir_arch, state=None, sb_expr_simp=expr_simp_explicit) |
| def | set_state (self, state) |
| def | eval_expr_visitor (self, expr, cache=None) |
| def | eval_exprint (self, expr, **kwargs) |
| def | eval_exprmem (self, expr, **kwargs) |
| def | modified (self, init_state=None, ids=True, mems=True) |
| def | dump (self, ids=True, mems=True) |
| def | eval_assignblk (self, assignblk) |
| 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) |
| def | mem_read (self, expr) |
| def | mem_write (self, dst, src) |
Additional Inherited Members | |
| Public Attributes inherited from miasm.ir.symbexec_top.SymbExecTopNoMem | |
| regstop | |
| Public Attributes inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| expr_to_visitor | |
| symbols | |
| ir_arch | |
| expr_simp | |
| Static Public Attributes inherited from miasm.ir.symbexec_top.SymbExecTopNoMem | |
| StateEngine = SymbolicStateTop | |
| Static Public Attributes inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| StateEngine = SymbolicState | |
| Properties inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| state = property(get_state, set_state) | |
Symbolic execution, include TOP value. ExprMem are propagated. Any computation involving a TOP will generate TOP. WARNING: avoid memory aliases here!
| def miasm.ir.symbexec_top.SymbExecTop.manage_mem | ( | self, | |
| expr, | |||
| state, | |||
| cache, | |||
| level | |||
| ) |
Reimplemented from miasm.ir.symbexec_top.SymbExecTopNoMem.
1.8.20