scope
OCaml tooling for tracing Xen guest address translation
Star 12
Fork 0
Watch

Commits on main

james.dad.town
fix(capture): bound transcript lines before allocating records
committed
james.dad.town
ci(build): check ocaml versions and xen guest validation
committed
james.dad.town
test(xen): inject native failures and verify watch evidence retention
committed
james.dad.town
test(guest): compare predicted faults with executed qemu accesses
committed
james.dad.town
feat(cli): expose capture replay and watch commands with regression checks
committed
james.dad.town
feat(watch): retain changed captures and reset baselines on root changes
committed
james.dad.town
feat(xen): capture hvm table pages with owned pause cleanup
committed
james.dad.town
feat(report): serialise walks and mapping changes with replay fixtures
committed
james.dad.town
feat(analysis): compare mapping intervals and detect writable executable aliases
committed
james.dad.town
feat(capture): persist bounded table snapshots with atomic writes
committed
james.dad.town
feat(paging): walk four-level tables and predict access faults
committed
james.dad.town
feat(core): define typed addresses and captured register state
committed