lib · scope · Tangled

OCaml tooling for tracing Xen guest address translation

15 files

james.dad.town · fix(capture): bound transcript lines before allocating records · 1w ago

feat(core): define typed addresses and captured register state

feat(core): define typed addresses and captured register state

feat(analysis): compare mapping intervals and detect writable executable aliases

fix(capture): bound transcript lines before allocating records

feat(capture): persist bounded table snapshots with atomic writes

feat(report): serialise walks and mapping changes with replay fixtures

feat(xen): capture hvm table pages with owned pause cleanup

feat(report): serialise walks and mapping changes with replay fixtures

feat(core): define typed addresses and captured register state

feat(xen): capture hvm table pages with owned pause cleanup

feat(paging): walk four-level tables and predict access faults

feat(report): serialise walks and mapping changes with replay fixtures

feat(watch): retain changed captures and reset baselines on root changes

feat(xen): capture hvm table pages with owned pause cleanup

feat(xen): capture hvm table pages with owned pause cleanup