 |
miasm
Reverse engineering framework
|
|
miasm
Reverse engineering framework
|
Public Member Functions | |
| def | __init__ (self, ir_arch, ircfg, state) |
 Public Member Functions inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| 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) |
| def | mem_read (self, expr) |
| def | mem_write (self, dst, src) |
Additional Inherited Members | |
| Public Attributes inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| expr_to_visitor | |
| symbols | |
| ir_arch | |
| expr_simp | |
| Static Public Attributes inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| StateEngine = SymbolicState | |
| Properties inherited from miasm.ir.symbexec.SymbolicExecutionEngine | |
| state = property(get_state, set_state) | |
State manager for SymbolicExecution
| def miasm.analysis.cst_propag.SymbExecState.__init__ | ( | self, | |
| ir_arch, | |||
| ircfg, | |||
| state | |||
| ) |
Reimplemented from miasm.ir.symbexec.SymbolicExecutionEngine.
1.8.20