Trace userland memory accesses made by Linux/FreeBSD kernels, and check them against a spec
Primary LanguageC