OCaml tooling for tracing Xen guest address translation
  • OCaml 68.7%
  • C 18%
  • Python 9.7%
  • Assembly 2.2%
  • Makefile 0.9%
  • Other 0.5%
Find a file
Repository files (latest commit first)
Filename Latest commit message Latest commit date
2026-10-29 19:45:20 +00:00
.github/workflows ci(build): check ocaml versions and xen guest validation 2026-10-28 20:11:29 +00:00
bin feat(cli): expose capture replay and watch commands with regression checks 2026-10-24 12:09:35 +01:00
examples feat(report): serialise walks and mapping changes with replay fixtures 2026-10-20 16:33:21 +01:00
guest test(guest): compare predicted faults with executed qemu accesses 2026-10-25 15:52:08 +00:00
lib fix(capture): bound transcript lines before allocating records 2026-10-29 19:45:20 +00:00
test fix(capture): bound transcript lines before allocating records 2026-10-29 19:45:20 +00:00
.gitignore feat(core): define typed addresses and captured register state 2026-10-15 11:24:17 +01:00
dune-project feat(core): define typed addresses and captured register state 2026-10-15 11:24:17 +01:00
Makefile ci(build): check ocaml versions and xen guest validation 2026-10-28 20:11:29 +00:00
meow.mp4 fix(capture): bound transcript lines before allocating records 2026-10-29 19:45:20 +00:00
README.md fix(capture): bound transcript lines before allocating records 2026-10-29 19:45:20 +00:00
scope.opam feat(core): define typed addresses and captured register state 2026-10-15 11:24:17 +01:00

Inspects four level x86_64 guest page tables on Xen and replays captures offline. It reports the entries consulted during translation and predicts ordinary explicit paging accesses using the captured register state and an explicit guest feature profile.

https://github.com/user-attachments/assets/6f04c3f8-36fb-4c3e-9736-68b43d92baf3