| -rw-r--r-- | .gitignore | 1L |
| -rw-r--r-- | AGENTS.md | 141L |
| -rw-r--r-- | CLAUDE.md | 141L |
| -rw-r--r-- | LICENSE | 20L |
| -rw-r--r-- | README.md | 197L |
| -rw-r--r-- | app/Main.hs | 540L |
| -rw-r--r-- | bench/Main.hs | 68L |
| -rw-r--r-- | bench/Weight.hs | 89L |
| -rw-r--r-- | etc/BIP32.hs | 772L |
| -rw-r--r-- | etc/BIP32.s | 45369L |
| -rw-r--r-- | etc/Curve.hs | 1594L |
| -rw-r--r-- | etc/Curve.s | 51041L |
| -rw-r--r-- | etc/CurveNCG.s | 36497L |
| -rw-r--r-- | etc/Secp256k1.hs | 1416L |
| -rw-r--r-- | etc/Secp256k1NCG_HEAD.s | 213897L |
| -rw-r--r-- | etc/Secp256k1_HEAD.s | 222891L |
| -rw-r--r-- | etc/Secp256k1_v0.3.0.hs | 1273L |
| -rw-r--r-- | etc/Secp256k1_vuln.hs | 1417L |
| -rw-r--r-- | etc/secp256k1.s | 223376L |
| -rw-r--r-- | etc/secp256k1NCG.s | 214240L |
| -rw-r--r-- | etc/secp256k1_v0.3.0_NCG.s | 73992L |
| -rw-r--r-- | etc/secp256k1_vuln.s | 222657L |
| -rw-r--r-- | etc/taint.json | 8L |
| -rw-r--r-- | etc/taint_eq_vartime.json | 5L |
| -rw-r--r-- | etc/taint_inv.json | 6L |
| -rw-r--r-- | etc/taint_mul_wnaf.json | 5L |
| -rw-r--r-- | etc/taint_sqrt_vartime.json | 5L |
| -rw-r--r-- | etc/taint_worker.json | 6L |
| -rw-r--r-- | flake.lock | 88L |
| -rw-r--r-- | flake.nix | 56L |
| -rw-r--r-- | lib/Audit/AArch64.hs | 287L |
| -rw-r--r-- | lib/Audit/AArch64/CFG.hs | 308L |
| -rw-r--r-- | lib/Audit/AArch64/CallGraph.hs | 117L |
| -rw-r--r-- | lib/Audit/AArch64/Check.hs | 328L |
| -rw-r--r-- | lib/Audit/AArch64/NCT.hs | 144L |
| -rw-r--r-- | lib/Audit/AArch64/Parser.hs | 553L |
| -rw-r--r-- | lib/Audit/AArch64/Runtime.hs | 58L |
| -rw-r--r-- | lib/Audit/AArch64/Runtime/GHC.hs | 416L |
| -rw-r--r-- | lib/Audit/AArch64/Taint.hs | 1604L |
| -rw-r--r-- | lib/Audit/AArch64/Types.hs | 497L |
| -rw-r--r-- | plans/ARCH0.md | 101L |
| -rw-r--r-- | plans/ARCH1.md | 52L |
| -rw-r--r-- | plans/ARCH10.md | 48L |
| -rw-r--r-- | plans/ARCH11.md | 44L |
| -rw-r--r-- | plans/ARCH12.md | 47L |
| -rw-r--r-- | plans/ARCH13.md | 43L |
| -rw-r--r-- | plans/ARCH14.md | 26L |
| -rw-r--r-- | plans/ARCH15.md | 28L |
| -rw-r--r-- | plans/ARCH16.md | 31L |
| -rw-r--r-- | plans/ARCH17.md | 47L |
| -rw-r--r-- | plans/ARCH18.md | 43L |
| -rw-r--r-- | plans/ARCH19.md | 47L |
| -rw-r--r-- | plans/ARCH2.md | 41L |
| -rw-r--r-- | plans/ARCH20.md | 52L |
| -rw-r--r-- | plans/ARCH21.md | 55L |
| -rw-r--r-- | plans/ARCH3.md | 35L |
| -rw-r--r-- | plans/ARCH4.md | 51L |
| -rw-r--r-- | plans/ARCH5.md | 43L |
| -rw-r--r-- | plans/ARCH6.md | 42L |
| -rw-r--r-- | plans/ARCH7.md | 56L |
| -rw-r--r-- | plans/ARCH8.md | 47L |
| -rw-r--r-- | plans/ARCH9.md | 35L |
| -rw-r--r-- | plans/IMPL0.md | 67L |
| -rw-r--r-- | plans/IMPL1.md | 49L |
| -rw-r--r-- | plans/IMPL10.md | 41L |
| -rw-r--r-- | plans/IMPL11.md | 38L |
| -rw-r--r-- | plans/IMPL12.md | 47L |
| -rw-r--r-- | plans/IMPL13.md | 41L |
| -rw-r--r-- | plans/IMPL14.md | 33L |
| -rw-r--r-- | plans/IMPL15.md | 34L |
| -rw-r--r-- | plans/IMPL16.md | 33L |
| -rw-r--r-- | plans/IMPL17.md | 39L |
| -rw-r--r-- | plans/IMPL18.md | 40L |
| -rw-r--r-- | plans/IMPL19.md | 38L |
| -rw-r--r-- | plans/IMPL2.md | 44L |
| -rw-r--r-- | plans/IMPL20.md | 33L |
| -rw-r--r-- | plans/IMPL21.md | 43L |
| -rw-r--r-- | plans/IMPL3.md | 35L |
| -rw-r--r-- | plans/IMPL4.md | 56L |
| -rw-r--r-- | plans/IMPL5.md | 51L |
| -rw-r--r-- | plans/IMPL6.md | 47L |
| -rw-r--r-- | plans/IMPL7.md | 46L |
| -rw-r--r-- | plans/IMPL8.md | 43L |
| -rw-r--r-- | plans/IMPL9.md | 41L |
| -rw-r--r-- | ppad-auditor.cabal | 105L |
| -rw-r--r-- | test/Main.hs | 1976L |
| -rw-r--r-- | test/fixtures/bad.s | 31L |
| -rw-r--r-- | test/fixtures/good.s | 37L |
