Public Member Functions | |
def | __init__ |
def | from_ExprInt |
def | from_ExprId |
def | from_ExprMem |
def | from_ExprSlice |
def | from_ExprCompose |
def | from_ExprCond |
def | from_ExprOp |
def | from_ExprAff |
def | register |
def | to_language |
def | available_languages |
def | from_expr |
Static Public Attributes | |
list | trivial_ops = ["+", "-", "/", "%", "&", "^", "|", "*", "<<"] |
list | available_translators = [] |
Private Attributes | |
_mem | |
Static Private Attributes | |
string | __LANG__ = "z3" |
Translate a Miasm expression to an equivalent z3 python binding expression. Memory is abstracted via z3.Array (see Z3Mem). The result of from_expr will be a z3 Expr. If you want to interract with the memory abstraction after the translation, you can instanciate your own Z3Mem, that will be equivalent to the one used by TranslatorZ3.
def miasm2.ir.translators.z3_ir.TranslatorZ3.__init__ | ( | self, | |
endianness = "<" , |
|||
kwargs | |||
) |
Instance a Z3 translator @endianness: (optional) memory endianness
Definition at line 113 of file z3_ir.py.
|
inherited |
|
inherited |
Translate an expression according to its type @expr: expression to translate
Definition at line 92 of file translator.py.
def miasm2.ir.translators.z3_ir.TranslatorZ3.from_ExprAff | ( | self, | |
expr | |||
) |
def miasm2.ir.translators.z3_ir.TranslatorZ3.from_ExprCompose | ( | self, | |
expr | |||
) |
def miasm2.ir.translators.z3_ir.TranslatorZ3.from_ExprCond | ( | self, | |
expr | |||
) |
def miasm2.ir.translators.z3_ir.TranslatorZ3.from_ExprId | ( | self, | |
expr | |||
) |
def miasm2.ir.translators.z3_ir.TranslatorZ3.from_ExprInt | ( | self, | |
expr | |||
) |
def miasm2.ir.translators.z3_ir.TranslatorZ3.from_ExprMem | ( | self, | |
expr | |||
) |
def miasm2.ir.translators.z3_ir.TranslatorZ3.from_ExprOp | ( | self, | |
expr | |||
) |
def miasm2.ir.translators.z3_ir.TranslatorZ3.from_ExprSlice | ( | self, | |
expr | |||
) |
|
inherited |
Register a translator @translator: Translator sub-class
Definition at line 14 of file translator.py.
|
inherited |
Return the corresponding translator instance @target_lang: str (case insensitive) wanted language Raise a NotImplementedError in case of unmatched language
Definition at line 21 of file translator.py.
|
staticprivate |
|
staticinherited |
Definition at line 9 of file translator.py.
|
static |