miasm
Reverse engineering framework
miasm.ir.symbexec_top.SymbExecTop Class Reference
Inheritance diagram for miasm.ir.symbexec_top.SymbExecTop:
Collaboration diagram for miasm.ir.symbexec_top.SymbExecTop:

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)
 

Detailed Description

Symbolic execution, include TOP value.
ExprMem are propagated.
Any computation involving a TOP will generate TOP.
WARNING: avoid memory aliases here!

Member Function Documentation

◆ manage_mem()

def miasm.ir.symbexec_top.SymbExecTop.manage_mem (   self,
  expr,
  state,
  cache,
  level 
)

The documentation for this class was generated from the following file: