GitNexus/gitnexus/bench/inline-taint/baseline.json
Gergő Magyar bd20dde825
fix(taint): report inline and factory handler flows (#3612)
* 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>
2026-10-17 20:22:58 +00:00

46 lines
1.2 KiB
JSON

{
"inline": {
"scaling_budget": 2,
"small": {
"functions": 96,
"fingerprint": "616f56191848b238238ff190561092a37a0f9648c4e7e7d0a61e9033a71d4885"
},
"large": {
"functions": 384,
"fingerprint": "4321c065614a223eb03dff54632e6133eebc5146edade30a1be963acbb9e5904"
}
},
"returned": {
"scaling_budget": 2,
"small": {
"functions": 192,
"fingerprint": "e353d4c8e19a8984e775527bbbeef2f3e7742f28aa6936a3b36eeae9de0ddd97"
},
"large": {
"functions": 768,
"fingerprint": "e3b3bbe4e022a9e68a5d91c65eb236a9723a9de624e9ec20a42fd6bd07fb31f3"
}
},
"visibility": {
"scaling_budget": 2,
"small": {
"functions": 96,
"fingerprint": "ff8ce299442d36317b3b0050435ad0c4fc967ae8c0d2b4af7a8569ea72a3c7fa"
},
"large": {
"functions": 384,
"fingerprint": "2b0074f92355d2ded979153b2769d0f426b53aed794c52cd1b92319e5fad753c"
}
},
"named": {
"scaling_budget": 2,
"small": {
"functions": 96,
"fingerprint": "e4c4dd74c3426ce3494c8a973577246f8682af0cb89759bbd3823def9e2694ef"
},
"large": {
"functions": 384,
"fingerprint": "4c9bb0e4112c8fcc51a4f175de25d2cc8cc0fd293e66241f9cc77449fb8e0daa"
}
}
}