| .. |
|
call-summary-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 |
|
call-summary-harvest.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 |
|
call-summary-language-and-constructor.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 |
|
interproc-solver.test.ts
|
feat(taint): interprocedural taint via function summaries over resolved CALLS (#2084) (#2179)
|
2026-06-13 07:04:14 +01:00 |
|
java-model-match.test.ts
|
feat(taint): add conservative Java source/sink model (#2267)
|
2026-06-23 06:59:46 +01:00 |
|
model-match.test.ts
|
feat(taint): expand TS/JS sink model (#2490)
|
2026-07-16 13:11:57 +01:00 |
|
path-codec.test.ts
|
feat(taint): intra-procedural taint analysis (#2083) (#2164)
|
2026-06-12 07:35:09 +01:00 |
|
propagate.test.ts
|
feat(taint): expand TS/JS sink model (#2490)
|
2026-07-16 13:11:57 +01:00 |
|
python-model-match.test.ts
|
feat(taint): add conservative Java source/sink model (#2267)
|
2026-06-23 06:59:46 +01:00 |
|
site-safety.test.ts
|
feat(taint): intra-procedural taint analysis (#2083) (#2164)
|
2026-06-12 07:35:09 +01:00 |
|
source-sink-registry.test.ts
|
feat(taint): intra-procedural taint analysis (#2083) (#2164)
|
2026-06-12 07:35:09 +01:00 |
|
summary-harvest.test.ts
|
feat(taint): add conservative Java source/sink model (#2267)
|
2026-06-23 06:59:46 +01:00 |
|
summary-model.test.ts
|
feat(taint): interprocedural taint via function summaries over resolved CALLS (#2084) (#2179)
|
2026-06-13 07:04:14 +01:00 |
|
taint-emit.test.ts
|
feat(taint): add conservative Java source/sink model (#2267)
|
2026-06-23 06:59:46 +01:00 |