GitNexus/gitnexus/test/unit/cfg
azizur100389 f44c0714ce
feat(taint): add Python source/sink model (#2253)
* Add Python taint source sink model

* Fix Python taint argument and class shadowing

* Address Python taint review cleanup

* test(cfg): align Python keyword argument harvest

---------

Co-authored-by: Gergő Magyar <gergomagyar@icloud.com>
2026-06-20 21:47:06 +01:00
..
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