1 Repo
Managing divergent program execution paths by snapshotting and navigating execution state forks.
Distinguishing note: None of the candidates describe binary execution state forking; they focus on git forks, AI generation, or Android process hooks.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Execution State Forking. Refine with filters or upvote what's useful.
Qira ist ein Laufzeitanalyse-Tool und interaktiver Binär-Debugger für den QEMU-Emulator. Es fungiert als Binär-Execution-Tracer, der eine vollständige Timeline von Instruktionsaufrufen aufzeichnet und ein System zur Überwachung von Speicheroperationen innerhalb von Gastprozessen bereitstellt. Das Projekt ermöglicht die Analyse kompilierter Binärdateien durch das Tracing der Instruktionsausführung und das Mapping roher Speicheradressen auf benutzerdefinierte Annotationen. Es enthält Funktionen für State-Snapshotting zur Verwaltung von Execution-Forks, was die Navigation durch divergierende Logikpfade sowie die Inspektion von CPU-Registerzuständen und System-Call-Argumenten an jedem beliebigen Punkt der aufgezeichneten Timeline ermöglicht. Das System deckt ein breites Spektrum an dynamischer Programmanalyse und Aufgaben im Bereich Binär-Reverse-Engineering ab. Dies umfasst die Überwachung von Speicherzugriffsmustern zur Identifizierung von Instruktionen, die spezifische Daten modifizieren, die Analyse von Malware-Verhalten in kontrollierten Umgebungen sowie die Durchführung von Software-Vulnerability-Research.
Enables navigation of divergent logic paths via state-snapshotting and execution fork management.