| 2026-04-20 08:37 | meta: readme | Jared Tobin | 1 | +2 | -2 |
| 2026-04-20 08:37 | etc: add misc data files | Jared Tobin | 8 | +270227 | -4 |
| 2026-02-28 12:19 | meta: readme | Jared Tobin | 1 | +56 | -35 |
| 2026-02-28 09:36 | fix: address review feedback for RuntimeConfig refactoring | Jared Tobin | 2 | +16 | -20 |
| 2026-02-28 09:13 | feat: parameterise all analysis over RuntimeConfig | Jared Tobin | 14 | +2880 | -2103 |
| 2026-02-27 14:11 | feat: preserve callee-saved taint across external calls/jumps | Jared Tobin | 2 | +32 | -21 |
| 2026-02-27 11:10 | fix: address review feedback for tail call propagation | Jared Tobin | 4 | +38 | -6 |
| 2026-02-27 11:02 | feat: add inter-procedural tail call taint propagation | Jared Tobin | 4 | +299 | -35 |
| 2026-02-26 13:32 | fix: clarify isSecretViolation and add comment for reg-offset handling | Jared Tobin | 2 | +5 | -2 |
| 2026-02-26 13:22 | fix: improve secret_pointee handling and add tests | Jared Tobin | 2 | +111 | -1 |
| 2026-02-26 13:14 | docs: modernize README with current features | Jared Tobin | 1 | +124 | -25 |
| 2026-02-26 13:12 | feat: add secret_pointee policy for pointer-to-secret semantics | Jared Tobin | 3 | +73 | -37 |
| 2026-02-26 12:51 | fix: fail fast on mismatched config | Jared Tobin | 1 | +5 | -1 |
| 2026-02-26 12:35 | feat: assume STG stack slots are public by default | Jared Tobin | 4 | +202 | -137 |
| 2026-02-14 09:46 | feat: add --zsymbol flag for human-readable symbol input | Jared Tobin | 1 | +65 | -16 |
| 2026-02-14 07:49 | fix: replace lazy foldl with foldl' to avoid space leaks | Jared Tobin | 3 | +6 | -3 |
| 2026-02-13 16:09 | fix: make --callers work with --scan-nct --symbol | Jared Tobin | 1 | +32 | -4 |
| 2026-02-13 16:07 | feat: add --callers/-c option for reverse reachability | Jared Tobin | 3 | +55 | -11 |
| 2026-02-13 15:56 | feat: add --list-symbols/-l option to list function symbols | Jared Tobin | 5 | +436842 | -2 |
| 2026-02-13 15:19 | feat: add symbol-focused NCT scan with call graph analysis (IMPL24) | Jared Tobin | 5 | +298 | -10 |
| 2026-02-13 06:52 | feat: filter GHC closure table lookups from NCT findings (IMPL23) | Jared Tobin | 1 | +33 | -0 |
| 2026-02-13 04:52 | feat: hide GHC runtime findings by default in NCT scan | Jared Tobin | 1 | +30 | -21 |
| 2026-02-13 04:49 | feat: add NCG tag check and arity check edge case detection (IMPL22) | Jared Tobin | 1 | +61 | -2 |
| 2026-02-13 04:41 | feat: add NCG backend support for GHC runtime detection | Jared Tobin | 1 | +47 | -8 |
| 2026-02-13 04:21 | feat: improve GHC runtime detection with BB-bounded scan | Jared Tobin | 1 | +58 | -16 |
| 2026-02-13 04:00 | feat: detect GHC RTS calls via adrp symbol lookup | Jared Tobin | 1 | +27 | -4 |
| 2026-02-13 03:56 | feat: expand GHC runtime pattern detection | Jared Tobin | 1 | +66 | -17 |
| 2026-02-13 03:51 | style: hide symbols with only GHC runtime findings | Jared Tobin | 1 | +6 | -7 |
| 2026-02-13 03:49 | style: use '(ghc runtime)' prefix instead of wrapping in parens | Jared Tobin | 1 | +2 | -2 |
| 2026-02-13 03:46 | refactor: show GHC runtime findings in parens instead of filtering | Jared Tobin | 3 | +96 | -75 |
| 2026-02-13 03:44 | feat: improve NCT scanner accuracy and add GHC runtime filtering | Jared Tobin | 3 | +96 | -5 |
| 2026-02-13 03:34 | misc: improve nct output | Jared Tobin | 6 | +37 | -59 |
| 2026-02-11 19:14 | feat: add static non-constant-time instruction scanner (IMPL21) | Jared Tobin | 7 | +563 | -0 |
| 2026-02-11 18:47 | feat: add acquire/release and exclusive memory ops (IMPL20) | Jared Tobin | 7 | +292 | -1 |
| 2026-02-11 18:38 | feat: preserve STG stack slots across constant x20 adjustments (IMPL19) | Jared Tobin | 4 | +216 | -27 |
| 2026-02-11 18:25 | feat: implement STG stack slot seeding via taint config (IMPL18) | Jared Tobin | 5 | +198 | -18 |
| 2026-02-11 18:14 | feat: add refined heap slot tracking (IMPL17 Stage 2) | Jared Tobin | 2 | +140 | -4 |
| 2026-02-11 18:03 | feat: add --display-unknown flag to filter violation output | Jared Tobin | 1 | +40 | -10 |
| 2026-02-11 17:58 | feat: implement coarse heap taint propagation (IMPL17 Stage 1) | Jared Tobin | 4 | +191 | -12 |
| 2026-02-11 17:31 | feat: track STG stack slots (x20-relative) for taint propagation (IMPL16) | Jared Tobin | 4 | +293 | -43 |
| 2026-02-11 16:51 | perf: use strict counters in check pass and avoid Map conversion (IMPL15) | Jared Tobin | 11 | +405 | -2 |
| 2026-02-11 16:49 | perf: use strict counters in check pass and avoid Map conversion (IMPL15) | Jared Tobin | 1 | +27 | -18 |
| 2026-02-11 16:41 | feat: track stack slot kinds to preserve pointer/scalar across spills (IMPL14) | Jared Tobin | 4 | +138 | -21 |
| 2026-02-11 16:36 | fix: set KindScalar for scalar ops and clear kinds at call boundaries | Jared Tobin | 1 | +41 | -36 |
| 2026-02-11 16:08 | feat: add register kind tracking to prevent provenance laundering (IMPL13) | Jared Tobin | 6 | +222 | -35 |
| 2026-02-11 15:48 | perf: use strict foldl' in taint analysis | Jared Tobin | 1 | +5 | -4 |
| 2026-02-11 15:43 | Revert "refactor: use SmallArray for register taint/provenance (IMPL12)" | Jared Tobin | 3 | +77 | -213 |
| 2026-02-11 15:43 | refactor: use SmallArray for register taint/provenance (IMPL12) | Jared Tobin | 3 | +213 | -77 |
| 2026-02-11 15:15 | perf: refactor CFG to indexed blocks with cached metadata (IMPL10) | Jared Tobin | 4 | +136 | -124 |
| 2026-02-11 14:50 | feat: add benchmark suites for parser, CFG, and taint analysis (IMPL9) | Jared Tobin | 6 | +185 | -15 |
| 2026-02-11 14:27 | fix: use hspace after label colon to allow foo:mov x0, x1 | Jared Tobin | 1 | +1 | -1 |
| 2026-02-11 14:24 | fix: address reviewer comments on parser optimizations | Jared Tobin | 2 | +29 | -23 |
| 2026-02-11 14:04 | perf: reduce backtracking in parser | Jared Tobin | 2 | +110 | -43 |
| 2026-02-11 13:23 | docs: misc plans, etc. | Jared Tobin | 10 | +291128 | -0 |
| 2026-02-11 10:39 | perf: cache call graph and function blocks in inter-proc analysis (IMPL8) | Jared Tobin | 2 | +77 | -15 |
| 2026-02-11 10:28 | fix: filter NCG local labels in isFunctionLabel | Jared Tobin | 1 | +5 | -2 |
| 2026-02-11 10:19 | feat: implement sidecar taint config for secret/public arguments (IMPL7) | Jared Tobin | 7 | +494 | -18 |
| 2026-02-11 09:25 | etc: add curve source | Jared Tobin | 1 | +1594 | -0 |
| 2026-02-11 09:15 | feat: NCG compatibility and succinct parse errors | Jared Tobin | 3 | +36521 | -4 |
| 2026-02-11 08:39 | feat: whitelist GHC pointer untagging pattern | Jared Tobin | 3 | +47 | -2 |
| 2026-02-10 10:49 | etc: add secp256k1 test target | Jared Tobin | 1 | +223376 | -0 |
| 2026-02-10 10:49 | plans: add | Jared Tobin | 4 | +183 | -0 |
| 2026-02-10 10:49 | fix: parser fixes for secp256k1.s compatibility | Jared Tobin | 3 | +50 | -18 |
| 2026-02-10 10:18 | feat: implement def-use provenance tracking (IMPL6) | Jared Tobin | 4 | +345 | -96 |
| 2026-02-10 10:07 | fix: handle adds/subs and post-indexed stores for SP invalidation | Jared Tobin | 1 | +14 | -6 |
| 2026-02-10 10:05 | fix: invalidate stack map when SP is modified | Jared Tobin | 1 | +30 | -7 |
| 2026-02-10 10:01 | feat: implement stack slot and GOT tracking (IMPL5) | Jared Tobin | 2 | +159 | -28 |
| 2026-02-10 09:44 | misc: add plans, test asm | Jared Tobin | 9 | +51404 | -0 |
| 2026-02-10 09:44 | fix: apply callee summaries in inter-proc return state computation | Jared Tobin | 2 | +4 | -6 |
| 2026-02-10 09:39 | feat: implement inter-procedural analysis (IMPL4) | Jared Tobin | 7 | +364 | -9 |
| 2026-02-10 09:26 | test: add call boundary tests for IMPL3 | Jared Tobin | 2 | +60 | -2 |
| 2026-02-10 09:06 | feat: implement inter-block taint propagation | Jared Tobin | 5 | +164 | -25 |
| 2026-02-10 08:52 | meta: docs | Jared Tobin | 1 | +75 | -0 |
| 2026-02-10 08:49 | fix: parser and taint analysis bugs | Jared Tobin | 1 | +12 | -1 |
| 2026-02-10 08:46 | feat: add parser support for ldur, stur, adcs, negs, mneg | Jared Tobin | 4 | +17 | -0 |
| 2026-02-10 08:44 | feat: add BaseSymbol addressing mode for GOT/PIC relocations | Jared Tobin | 5 | +36 | -10 |
| 2026-02-10 08:35 | meta: docs | Jared Tobin | 3 | +31 | -34 |
| 2026-02-10 08:26 | fix: parser and taint analysis bugs | Jared Tobin | 9 | +154 | -64 |
| 2026-02-10 08:06 | meta: add CLAUDE.md | Jared Tobin | 1 | +143 | -0 |
| 2026-02-10 08:06 | init: scaffold ppad-auditor project | Jared Tobin | 16 | +2051 | -0 |
