mirror of
https://github.com/abhigyanpatwari/GitNexus.git
synced 2026-10-28 06:22:22 +00:00
bd20dde825
* fix(taint): cover inline and returned handlers (U8) Join expression-handler CFG summaries to distinct graph functions without changing existing anonymous-owner identities. Keep named function expressions private to their lexical scope. Related: #3489 * fix(ci): encode inline handler taint paths (U8) Use codec-safe generated display names while preserving positional function identity. Verify persisted hop continuity and remove the repaired inline-flow accuracy allowance. * fix: keep anonymous names unbound (U8) * test: pin inline callback captures (U8) * ci: run inline taint guard (U8) * test: align inline handler contracts (U8) Pin callback-owned call edges while preserving nested callable IDs and module-level HOC attribution. Assert repaired inline flows and the retained captured-closure limitation. * ci: run native inline proofs on all OSes (U8) Register real-worker identity/CFG and persisted explain cases on the existing Windows/macOS matrix. Charge explicit scheduling estimates without changing watchdogs or runtime behavior. * test(taint): reject all enclosing factory sources --------- Co-authored-by: Gergo Magyar <gergomagyar0@gmail.com> |
||
|---|---|---|
| .. | ||
| __snapshots__ | ||
| fixtures | ||
| cdg-snapshot.test.ts | ||
| cfg-emit.test.ts | ||
| cfg-snapshot.test.ts | ||
| interproc-taint.test.ts | ||
| new-provider-pipeline.test.ts | ||
| parse-cache-mixed.test.ts | ||
| pdg-chained-receiver-callees.test.ts | ||
| pipeline-pdg-streaming.test.ts | ||
| pipeline-pdg.test.ts | ||
| reaching-defs-snapshot.test.ts | ||
| taint-snapshot.test.ts | ||
| worker-roundtrip.test.ts | ||