| .. |
|
anchor-alignment.test.ts
|
feat(impact): opt-in PDG-backed impact mode - statement + inter-procedural slicing, resolved-callee-id soundness, mutation-oracle validated (#2227)
|
2026-06-20 12:04:32 +01:00 |
|
c-cpp-visitor.test.ts
|
feat(cfg): PDG/CFG visitors for all supported languages (#2195) (#2197)
|
2026-06-15 12:31:04 +01:00 |
|
cfg-builder.test.ts
|
feat(cfg): PDG/CFG visitors for all supported languages (#2195) (#2197)
|
2026-06-15 12:31:04 +01:00 |
|
control-dependence.test.ts
|
feat(cfg): PDG/CFG visitors for all supported languages (#2195) (#2197)
|
2026-06-15 12:31:04 +01:00 |
|
csharp-visitor.test.ts
|
feat(cfg): model value-position branches as control dependence (#2205, #2207) (#2211)
|
2026-06-15 14:29:21 +01:00 |
|
dart-visitor.test.ts
|
feat(cfg): model value-position branches as control dependence (#2205, #2207) (#2211)
|
2026-06-15 14:29:21 +01:00 |
|
emit-guard.test.ts
|
feat(cfg): intra-procedural REACHING_DEF data-dependence layer (#2082) (#2160)
|
2026-06-11 05:49:39 +01:00 |
|
go-visitor.test.ts
|
feat(cfg): PDG/CFG visitors for all supported languages (#2195) (#2197)
|
2026-06-15 12:31:04 +01:00 |
|
harness.test.ts
|
feat(cfg): PDG/CFG visitors for all supported languages (#2195) (#2197)
|
2026-06-15 12:31:04 +01:00 |
|
harvest.test.ts
|
feat(taint): add Python source/sink model (#2253)
|
2026-06-20 21:47:06 +01:00 |
|
java-visitor.test.ts
|
feat(cfg): model value-position branches as control dependence (#2205, #2207) (#2211)
|
2026-06-15 14:29:21 +01:00 |
|
kotlin-visitor.test.ts
|
feat(cfg): model value-position branches as control dependence (#2205, #2207) (#2211)
|
2026-06-15 14:29:21 +01:00 |
|
memoized-reaching-defs.test.ts
|
feat(impact): opt-in PDG-backed impact mode - statement + inter-procedural slicing, resolved-callee-id soundness, mutation-oracle validated (#2227)
|
2026-06-20 12:04:32 +01:00 |
|
opt-in.test.ts
|
feat(ingestion): add control-flow-graph layer for TS/JS (#2081) (#2099)
|
2026-06-10 19:26:45 +01:00 |
|
php-visitor.test.ts
|
feat(cfg): model value-position branches as control dependence (#2205, #2207) (#2211)
|
2026-06-15 14:29:21 +01:00 |
|
post-dominators.test.ts
|
feat(pdg): control dependence — post-dominators + CDG (Ferrante) [M5 #2085] (#2188)
|
2026-06-13 18:49:03 +01:00 |
|
python-visitor.test.ts
|
feat(taint): add Python source/sink model (#2253)
|
2026-06-20 21:47:06 +01:00 |
|
reaching-def-reason-codec.test.ts
|
feat(impact): opt-in PDG-backed impact mode - statement + inter-procedural slicing, resolved-callee-id soundness, mutation-oracle validated (#2227)
|
2026-06-20 12:04:32 +01:00 |
|
reaching-defs-equivalence.test.ts
|
perf(cfg): SSA-sparse reaching-defs to replace the dense-set worklist (#2201) (#2212)
|
2026-06-15 19:16:53 +01:00 |
|
reaching-defs.test.ts
|
perf(cfg): SSA-sparse reaching-defs to replace the dense-set worklist (#2201) (#2212)
|
2026-06-15 19:16:53 +01:00 |
|
ruby-visitor.test.ts
|
feat(impact): opt-in PDG-backed impact mode - statement + inter-procedural slicing, resolved-callee-id soundness, mutation-oracle validated (#2227)
|
2026-06-20 12:04:32 +01:00 |
|
rust-visitor.test.ts
|
feat(cfg): PDG/CFG visitors for all supported languages (#2195) (#2197)
|
2026-06-15 12:31:04 +01:00 |
|
swift-visitor.test.ts
|
feat(cfg): model value-position branches as control dependence (#2205, #2207) (#2211)
|
2026-06-15 14:29:21 +01:00 |
|
synthetic-escape.test.ts
|
feat(cfg): PDG/CFG visitors for all supported languages (#2195) (#2197)
|
2026-06-15 12:31:04 +01:00 |
|
typescript-visitor.test.ts
|
feat(cfg): PDG/CFG visitors for all supported languages (#2195) (#2197)
|
2026-06-15 12:31:04 +01:00 |
|
vue-visitor.test.ts
|
feat(cfg): PDG/CFG visitors for all supported languages (#2195) (#2197)
|
2026-06-15 12:31:04 +01:00 |