| -rw-r--r-- | address.ml | 864 bytes | b1b249cd6f feat(core): define typed addresses and captured register state | 29 days ago |
| -rw-r--r-- | address.mli | 483 bytes | b1b249cd6f feat(core): define typed addresses and captured register state | 29 days ago |
| -rw-r--r-- | analysis.ml | 4.8 KiB | bad0d41928 feat(analysis): compare mapping intervals and detect writable executable aliases | 24 days ago |
| -rw-r--r-- | capture.ml | 9.7 KiB | 1f6e0491a8 feat(capture): persist bounded table snapshots with atomic writes | 26 days ago |
| -rw-r--r-- | capture.mli | 395 bytes | 1f6e0491a8 feat(capture): persist bounded table snapshots with atomic writes | 26 days ago |
| -rw-r--r-- | demo.ml | 1.2 KiB | e8f5f1b8ca feat(report): serialise walks and mapping changes with replay fixtures | 23 days ago |
| -rw-r--r-- | dune | 191 bytes | 31c614f530 feat(xen): capture hvm table pages with owned pause cleanup | 21 days ago |
| -rw-r--r-- | json.ml | 1.4 KiB | e8f5f1b8ca feat(report): serialise walks and mapping changes with replay fixtures | 23 days ago |
| -rw-r--r-- | model.ml | 3.6 KiB | b1b249cd6f feat(core): define typed addresses and captured register state | 29 days ago |
| -rw-r--r-- | native.c | 8.9 KiB | 31c614f530 feat(xen): capture hvm table pages with owned pause cleanup | 21 days ago |
| -rw-r--r-- | paging.ml | 7.1 KiB | 149423fc88 feat(paging): walk four-level tables and predict access faults | 27 days ago |
| -rw-r--r-- | report.ml | 4.7 KiB | e8f5f1b8ca feat(report): serialise walks and mapping changes with replay fixtures | 23 days ago |
| -rw-r--r-- | watch.ml | 4.5 KiB | 6c84b333c7 feat(watch): retain changed captures and reset baselines on root changes | 20 days ago |
| -rw-r--r-- | xen.ml | 1.9 KiB | 31c614f530 feat(xen): capture hvm table pages with owned pause cleanup | 21 days ago |
| -rw-r--r-- | xen.mli | 159 bytes | 31c614f530 feat(xen): capture hvm table pages with owned pause cleanup | 21 days ago |