miasm.ir.translators.z3_ir Namespace Reference

Classes
class	TranslatorZ3
class	Z3Mem

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

Variable Documentation

console_handler

miasm.ir.translators.z3_ir.console_handler = logging.StreamHandler()

log

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