From eae0b3b08bd078ad2f621ce2ef201e656da3f16a Mon Sep 17 00:00:00 2001 From: Theofilos Augoustis Date: Sun, 31 Dec 2023 18:29:31 +0100 Subject: Refactor project structure Read concrete state on demand during concolic exec During concolic tracing, don't record full program snapshots at each basic block, but instead read concrete values directly from the concrete target when they are needed. --- tools/qemu_tool.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'tools') diff --git a/tools/qemu_tool.py b/tools/qemu_tool.py index d5f78af..c7730fd 100644 --- a/tools/qemu_tool.py +++ b/tools/qemu_tool.py @@ -9,10 +9,10 @@ import shlex import subprocess from typing import TextIO -import parser -from arch import x86 -from lldb_target import MemoryMap -from snapshot import ProgramState +import focaccia.parser as parser +from focaccia.arch import x86 +from focaccia.lldb_target import MemoryMap +from focaccia.snapshot import ProgramState def parse_memory_maps(stream: TextIO) -> tuple[list[MemoryMap], str]: """ -- cgit 1.4.1