miasm2.ir.translators.z3_ir Namespace Reference

Classes
class	TranslatorZ3
class	Z3Mem

Variables
tuple	log = logging.getLogger("translator_z3")
tuple	console_handler = logging.StreamHandler()

Variable Documentation

tuple miasm2.ir.translators.z3_ir.console_handler = logging.StreamHandler()

Definition at line 10 of file z3_ir.py.

tuple miasm2.ir.translators.z3_ir.log = logging.getLogger("translator_z3")

Definition at line 9 of file z3_ir.py.