james 034e6b67d4 fix(capture): bound transcript lines before allocating records

2026-10-29 19:45:20 +00:00

..

address.ml

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

2026-10-15 11:24:17 +01:00

address.mli

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

2026-10-15 11:24:17 +01:00

analysis.ml

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

2026-10-19 20:07:54 +01:00

capture.ml

fix(capture): bound transcript lines before allocating records

2026-10-29 19:45:20 +00:00

capture.mli

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

2026-10-18 14:16:38 +01:00

demo.ml

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

2026-10-20 16:33:21 +01:00

dune

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

2026-10-22 21:18:46 +01:00

json.ml

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

2026-10-20 16:33:21 +01:00

model.ml

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

2026-10-15 11:24:17 +01:00

native.c

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

2026-10-22 21:18:46 +01:00

paging.ml

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

2026-10-16 18:42:09 +01:00

report.ml

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

2026-10-20 16:33:21 +01:00

watch.ml

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

2026-10-23 19:46:12 +01:00

xen.ml

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

2026-10-22 21:18:46 +01:00

xen.mli

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

2026-10-22 21:18:46 +01:00