miasm
Reverse engineering framework
|
Classes | |
class | MemArray |
class | MemSparse |
class | StateEngine |
class | SymbolicExecutionEngine |
class | SymbolicState |
class | SymbolMngr |
Functions | |
def | get_block (ir_arch, ircfg, mdis, addr) |
def | get_expr_base_offset (expr) |
def | merge_ptr_read (known, ptrs) |
Variables | |
log = logging.getLogger("symbexec") | |
console_handler = logging.StreamHandler() | |
string | INTERNAL_INTBASE_NAME = "__INTERNAL_INTBASE__" |
def miasm.ir.symbexec.get_block | ( | ir_arch, | |
ircfg, | |||
mdis, | |||
addr | |||
) |
Get IRBlock at address @addr
def miasm.ir.symbexec.get_expr_base_offset | ( | expr | ) |
Return a couple representing the symbolic/concrete part of an addition expression. If there is no symbolic part, ExprId(INTERNAL_INTBASE_NAME) is used If there is not concrete part, 0 is used @expr: Expression instance
def miasm.ir.symbexec.merge_ptr_read | ( | known, | |
ptrs | |||
) |
Merge common memory parts in a multiple byte memory. @ptrs: memory bytes list @known: ptrs' associated boolean for present/unpresent memory part in the store
miasm.ir.symbexec.console_handler = logging.StreamHandler() |
string miasm.ir.symbexec.INTERNAL_INTBASE_NAME = "__INTERNAL_INTBASE__" |
miasm.ir.symbexec.log = logging.getLogger("symbexec") |