mirror of
https://github.com/abhigyanpatwari/GitNexus.git
synced 2026-11-05 07:37:30 +00:00
d8a256a03a
* fix(taint): refine values after accepted guards Preserve bounded value restrictions through local flows and function summaries. Check the complete command against the modeled sink use before suppressing a finding. Unknown paths and exhausted budgets retain conservative findings. Refs #3490 * fix(taint): preserve guard proof identities Reject destructured/rest formals before they inherit a whole-argument proof, and include transitive alias uses in bounded guard certificates. Add worker regressions, argument-heavy scaling coverage and global refinement fallback diagnostics. Refs #3703 * perf(cfg): reuse scope and argument facts Reduce duplicate native AST reads and allocation in TypeScript CFG collection while preserving argument forwarding and malformed-input recovery. Add regression cases and a portable paired benchmark with recorded results. * test(cfg): distinguish validator cases --------- Co-authored-by: Gergo Magyar <gergomagyar0@gmail.com> |
||
|---|---|---|
| .. | ||
| call-summary-codec.test.ts | ||
| call-summary-harvest.test.ts | ||
| call-summary-language-and-constructor.test.ts | ||
| disk-scope.test.ts | ||
| guard-refinement.test.ts | ||
| interproc-solver.test.ts | ||
| java-model-match.test.ts | ||
| lexical-imports.test.ts | ||
| model-match.test.ts | ||
| path-codec.test.ts | ||
| propagate.test.ts | ||
| python-model-match.test.ts | ||
| site-safety.test.ts | ||
| source-sink-registry.test.ts | ||
| summary-harvest.test.ts | ||
| summary-model.test.ts | ||
| taint-emit.test.ts | ||
| value-refinement.test.ts | ||