about summary refs log tree commit diff stats
path: root/lldb_target.py
diff options
context:
space:
mode:
authorTheofilos Augoustis <theofilos.augoustis@gmail.com>2023-11-25 20:08:18 +0100
committerTheofilos Augoustis <theofilos.augoustis@gmail.com>2023-11-25 20:08:18 +0100
commita4bf627c2440cbea392e27f138b07fa22cd9e6f1 (patch)
tree3e062285d5b0f8e74b47d2b02b316277bac00c66 /lldb_target.py
parent1d649ee44c2f49c11077d5b851d3ed110c2d6f65 (diff)
downloadfocaccia-a4bf627c2440cbea392e27f138b07fa22cd9e6f1.tar.gz
focaccia-a4bf627c2440cbea392e27f138b07fa22cd9e6f1.zip
Migrate to Miasm for concolic execution from Angr
Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com>
Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
Diffstat (limited to 'lldb_target.py')
-rw-r--r--lldb_target.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/lldb_target.py b/lldb_target.py
index 93efb7d..5477ab7 100644
--- a/lldb_target.py
+++ b/lldb_target.py
@@ -65,6 +65,10 @@ class LLDBConcreteTarget(ConcreteTarget):
         assert(state == lldb.eStateStopped)
         self.process.Continue()
 
+    def step(self):
+        thread: lldb.SBThread = self.process.GetThreadAtIndex(0)
+        thread.StepInstruction(False)
+
     def stop(self):
         self.process.Stop()