summaryrefslogtreecommitdiffstats
path: root/debug/risc-v-gsp-rm-vm/tests/test_memory_record.py
diff options
context:
space:
mode:
authorArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-02 08:36:35 -0400
committerArthur Hanson Rasmusson <arthur@vgpu.io>2026-10-02 08:36:35 -0400
commitba58dcdc5ad6ca021c723d279f33e3f14e1184df (patch)
tree47e43a2dad9a2d4bb40da46243654bff8b1302de /debug/risc-v-gsp-rm-vm/tests/test_memory_record.py
parentfe485080e159c983242d699f4a584659df159818 (diff)
downloadopen-iov-ba58dcdc5ad6ca021c723d279f33e3f14e1184df.tar.gz
open-iov-ba58dcdc5ad6ca021c723d279f33e3f14e1184df.zip
debug: add green-eye GSP/uproc RISC-V VM runtime analysis tooling
Adds open-iov/debug/risc-v-gsp-rm-vm: a GDB-free instrumentation stack that boots uproc/GSP firmware in qemu-system-riscv64 and provides Frida-like hooks, breakpoints, watchpoints, memory dumps, structure decoding, snapshot diffs, recorded sessions, declarative probes, a plugin API and a Ghidra symbol/hit bridge. Verified: 25 tests green (including a live QEMU smoke test); the demo uproc boots with correct hook/leave/watch/schema/snapshot/fault evidence; the optional TCG trace plugin builds and recorded 15M trace lines in 3 s; the TU104 570.144 fwimage probe reports its first exception (load access fault at firmware vaddr 0x4009014 reading 0x2000000000000A00). Documentation: lean tool docs under debug/risc-v-gsp-rm-vm/docs/00-10, a new docs/05-operations/03-risc-v-gsp-rm-vm.md debugging document, and '# TOOL IN DEVELOPMENT - NOT READY YET!' markers in docs/README.md, the onboarding tooling table and the debugging workflows doc. Vendors qemu-plugin.h from QEMU v8.2.2 (GPL-2.0-or-later), with its license header intact, so the optional TCG plugin builds without a QEMU source tree.
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/tests/test_memory_record.py')
-rw-r--r--debug/risc-v-gsp-rm-vm/tests/test_memory_record.py101
1 files changed, 101 insertions, 0 deletions
diff --git a/debug/risc-v-gsp-rm-vm/tests/test_memory_record.py b/debug/risc-v-gsp-rm-vm/tests/test_memory_record.py
new file mode 100644
index 0000000..24b360d
--- /dev/null
+++ b/debug/risc-v-gsp-rm-vm/tests/test_memory_record.py
@@ -0,0 +1,101 @@
+"""Unit tests for memory helpers and session recording."""
+from __future__ import annotations
+
+import os
+import shutil
+import tempfile
+import unittest
+
+from greeneye.memory import Memory
+from greeneye.record import NullRecorder, Recorder, load_events, load_meta
+from greeneye.symbols import Symbol, SymbolDB
+
+
+class FakeClient:
+ def __init__(self, size=0x1000):
+ self.data = bytearray(size)
+ for i in range(size):
+ self.data[i] = i & 0xFF
+
+ def read_mem(self, addr, size, chunk=0):
+ return bytes(self.data[addr : addr + size])
+
+ def write_mem(self, addr, data, chunk=0):
+ self.data[addr : addr + len(data)] = data
+
+
+class MemoryTests(unittest.TestCase):
+ def setUp(self):
+ self.mem = Memory(FakeClient())
+
+ def test_read_write_hexdump(self):
+ self.assertEqual(self.mem.read(0x10, 4), bytes(range(0x10, 0x14)))
+ self.mem.write(0x20, b"AB")
+ self.assertEqual(self.mem.read(0x20, 2), b"AB")
+ text = self.mem.hexdump(0, 16)
+ self.assertIn("00000000", text)
+ self.assertIn("00 01 02", text)
+ self.assertIn("|", text)
+
+ def test_search(self):
+ self.assertEqual(self.mem.search(0, 0x40, b"\x10\x11"), [0x10])
+ self.assertEqual(self.mem.search_string(0, 0x40, "\x20\x21"), [0x20])
+ masked = self.mem.search(0, 0x100, b"\xa0", mask=b"\xf0")
+ self.assertEqual(masked[0], 0xA0)
+ self.mem.write(0x30, b"GREEN")
+ self.assertEqual(self.mem.search_string(0, 0x100, "GREEN"), [0x30])
+
+ def test_snapshot_and_diff(self):
+ before = self.mem.snapshot(0, 32, "before")
+ self.mem.write(0x10, b"\xff")
+ after = self.mem.snapshot(0, 32, "after")
+ diffs = Memory.diff(before, after, base=0)
+ self.assertEqual(len(diffs), 1)
+ self.assertEqual(diffs[0].addr, 0x10)
+ self.assertEqual(diffs[0].new, b"\xff")
+ text = Memory.render_diff(diffs)
+ self.assertIn("00000010", text)
+
+ def test_hexdump_annotated(self):
+ db = SymbolDB()
+ db.add(Symbol(addr=0, name="block", size=0x100, source="test"))
+ mem = Memory(FakeClient(), symbols=db)
+ text = mem.hexdump(0, 16, annotate=True)
+ self.assertIn("block", text)
+
+
+class RecorderTests(unittest.TestCase):
+ def setUp(self):
+ self.dir = tempfile.mkdtemp(prefix="greeneye-test-")
+ self.recorder = Recorder(self.dir, name="unit", meta={"note": "test"})
+ self.recorder.event("alpha", value=1)
+ self.recorder.event("alpha", value=2)
+ self.recorder.snapshot("regs", 0x80000000, b"\x00" * 16)
+
+ def tearDown(self):
+ shutil.rmtree(self.dir, ignore_errors=True)
+
+ def test_events_and_meta(self):
+ self.recorder.close()
+ events = load_events(self.dir)
+ kinds = [e["type"] for e in events]
+ self.assertEqual(kinds.count("alpha"), 2)
+ self.assertIn("snapshot_saved", kinds)
+ self.assertIn("session_end", kinds)
+ meta = load_meta(self.dir)
+ self.assertEqual(meta["name"], "unit")
+ self.assertEqual(meta["note"], "test")
+ self.assertTrue(os.path.exists(os.path.join(self.dir, "summary.md")))
+ summary = open(os.path.join(self.dir, "summary.md")).read()
+ self.assertIn("unit", summary)
+
+ def test_null_recorder(self):
+ null = NullRecorder()
+ null.event("x")
+ null.snapshot("y", 0, b"")
+ null.close()
+ self.assertIsNone(null.dir)
+
+
+if __name__ == "__main__":
+ unittest.main()