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.
109ad18b4a — jamesVerified14 days ago
fix(capture): bound transcript lines before allocating records
cb7f12d3e8 — jamesVerified15 days ago
ci(build): check ocaml versions and xen guest validation
3cec21766d — jamesVerified16 days ago
test(xen): inject native failures and verify watch evidence retention
languages
- OCaml69.7%
- C18.3%
- Python9.8%
- Assembly2.3%