Add CSWINRT2023 analyzer for reads from write-only Span<T> parameters - #2438

Open

Sergio Pedri (Sergio0694) wants to merge 11 commits into

staging/3.0from

user/sergiopedri/span-fill-array-analyzer

Commits on Aug 13, 2026

Add CSWINRT2023 diagnostic descriptor for reading write-only 'Span<T>' parameters

Sergio Pedri (Sergio0694)
and
Copilot
committed
44615e1
Add WriteOnlySpanParameterAnalyzer for CSWINRT2023

Sergio Pedri (Sergio0694)
and
Copilot
committed
ba20584
Add tests for WriteOnlySpanParameterAnalyzer

Sergio Pedri (Sergio0694)
and
Copilot
committed
47bdd65
Warn on reads through writable 'ref' foreach variables

Sergio Pedri (Sergio0694)
and
Copilot
committed
3a7c487
Analyze write-only 'Span<T>' reads per operation block

Sergio Pedri (Sergio0694)
and
Copilot
committed
cf1d953
Don't warn for reads preceded by a write covering the same location

Sergio Pedri (Sergio0694)
and
Copilot
committed
f652d19
Add tests for write-only 'Span<T>' read suppression

Sergio Pedri (Sergio0694)
and
Copilot
committed
6f99858
Close the remaining holes in the covering write analysis

Sergio Pedri (Sergio0694)
and
Copilot
committed
4c02c8e
Harden the covering write analysis against indirect writes

Sergio Pedri (Sergio0694)
and
Copilot
committed
2f06ebd
Also account for escaping references and erased partial calls

Sergio Pedri (Sergio0694)
and
Copilot
committed
f222fdb
Treat failing interpolated string handlers as conditional

Sergio Pedri (Sergio0694)
and
Copilot
committed
3a4cf5d