csharp: odata lib - #22384

Open

hugo-syn wants to merge 7 commits into

github:mainfrom

hugo-syn:hugo-syn/csharp-odata-tainted-member

Commits on Aug 19, 2026

C#: add OData action-parameter taint modeling

hugo-syn
and
claude
committed
a1f2b81
C#: make OData.qll classes public, genericize test fixtures

hugo-syn
and
claude
committed
e88e003
C#: drop redundant TaintTracking import in OData.qll

hugo-syn
and
claude
committed
3440d4a

Commits on Aug 21, 2026

C#: model Delta<T>.GetInstance() as a MaD summary instead of QL
hugo-syn
committed
22ad8c7
C#: reuse CandidateMemberToTaint from Remote.qll in OData.qll
hugo-syn
committed
a44bfec
C#: move OData test types into test/resources/stubs
hugo-syn
committed
2c17dd2
C#: fix DeltaClass doc comment to not name a specific type parameter
hugo-syn
committed
9c3a9b4