| -rw-r--r-- | .gitignore | 3L |
| -rw-r--r-- | CHANGELOG | 79L |
| -rw-r--r-- | LICENSE | 20L |
| -rw-r--r-- | README.md | 149L |
| -rw-r--r-- | app/Main.hs | 617L |
| -rw-r--r-- | cbits/norandom.c | 23L |
| -rw-r--r-- | etc/probe/diffprobe.c | 32L |
| -rw-r--r-- | etc/probe/diffprobe.nix | 23L |
| -rw-r--r-- | etc/probe/harness.c | 111L |
| -rw-r--r-- | etc/probe/probe.c | 37L |
| -rw-r--r-- | etc/probe/probe.nix | 17L |
| -rw-r--r-- | etc/probe/threads.c | 16L |
| -rw-r--r-- | etc/spike/penumbra/RESULTS.md | 89L |
| -rw-r--r-- | etc/spike/penumbra/default.nix | 65L |
| -rw-r--r-- | etc/spike/penumbra/harness.c | 94L |
| -rw-r--r-- | etc/spike/poly1305/Harness.hs | 85L |
| -rw-r--r-- | etc/spike/poly1305/RESULTS.md | 52L |
| -rw-r--r-- | etc/spike/poly1305/default.nix | 68L |
| -rw-r--r-- | etc/spike/poly1305/mutants-1.patch | 116L |
| -rw-r--r-- | etc/spike/poly1305/mutants-2.patch | 74L |
| -rw-r--r-- | etc/spike/secp256k1/Harness.hs | 111L |
| -rw-r--r-- | etc/spike/secp256k1/RESULTS.md | 40L |
| -rw-r--r-- | etc/spike/secp256k1/default.nix | 72L |
| -rw-r--r-- | etc/spike/secp256k1/mutants.patch | 61L |
| -rw-r--r-- | flake.lock | 88L |
| -rw-r--r-- | flake.nix | 62L |
| -rw-r--r-- | include/vestigia.c | 71L |
| -rw-r--r-- | include/vestigia.h | 27L |
| -rw-r--r-- | lib/Vestigia/Contract.hs | 395L |
| -rw-r--r-- | lib/Vestigia/Contract/Arm.hs | 2184L |
| -rw-r--r-- | lib/Vestigia/Contract/Intel.hs | 282L |
| -rw-r--r-- | lib/Vestigia/Contract/Types.hs | 57L |
| -rw-r--r-- | lib/Vestigia/Diff.hs | 795L |
| -rw-r--r-- | lib/Vestigia/Json.hs | 69L |
| -rw-r--r-- | lib/Vestigia/Layout.hs | 27L |
| -rw-r--r-- | lib/Vestigia/Memcheck.hs | 173L |
| -rw-r--r-- | lib/Vestigia/Symbol.hs | 143L |
| -rw-r--r-- | lib/Vestigia/Trace.hs | 327L |
| -rw-r--r-- | lib/Vestigia/Xml.hs | 152L |
| -rw-r--r-- | nix/lib.nix | 187L |
| -rw-r--r-- | nix/memcheck-operand.patch | 316L |
| -rw-r--r-- | nix/probe.nix | 172L |
| -rw-r--r-- | nix/qemu-crypto.patch | 65L |
| -rw-r--r-- | nix/qemu-getrandom.patch | 25L |
| -rw-r--r-- | plans/IMPL1.md | 83L |
| -rw-r--r-- | plugin/vestigia-qemu.c | 818L |
| -rw-r--r-- | test/Main.hs | 651L |
| -rw-r--r-- | test/fixtures/probe.xml | 144L |
| -rw-r--r-- | vestigia.cabal | 93L |
