Jitter: Add PoC jitter engine based on Miasm2 Symbolic execution engine

This way, we hope to:
 - make symbexec more reliable
 - provide a full Python based Jitter (but *very* slow)

Currently, memory writes, self-modiying code and exceptions aren't handled

1 files changed, 4 insertions, 0 deletions

diff --git a/miasm2/jitter/jitload.py b/miasm2/jitter/jitload.py
index d9aca929..c410730a 100644
--- a/miasm2/jitter/jitload.py
+++ b/miasm2/jitter/jitload.py
@@ -14,6 +14,7 @@ from csts import *
 from miasm2.core.utils import *
 from jitcore_tcc import JitCore_Tcc
 from jitcore_llvm import JitCore_LLVM
+from jitcore_python import JitCore_Python
 from miasm2.core.bin_stream import bin_stream
 
 from miasm2.ir.ir2C import init_arch_C
@@ -575,6 +576,7 @@ class jitter:
         @jit_type: JiT backend to use. Available options are:
             - "tcc"
             - "llvm"
+            - "python"
         """
 
         self.arch = my_ir.arch
@@ -599,6 +601,8 @@ class jitter:
             self.jit = JitCore_Tcc(self.my_ir, self.bs)
         elif jit_type == "llvm":
             self.jit = JitCore_LLVM(self.my_ir, self.bs)
+        elif jit_type == "python":
+            self.jit = JitCore_Python(self.my_ir, self.bs)
         else:
             raise Exception("Unkown JiT Backend")