C#: Include parameters and their defaults in the CFG - #21759

Merged

hvitved merged 9 commits into

github:mainfrom

hvitved:csharp/cfg-params

Apr 30, 2026

Commits on Apr 29, 2026

C#: Remove unintended CP
hvitved
committed
7763981
C#: Add tests for methods with default parameters
hvitved
committed
d792e11
C#: Include parameters and their defaults in the CFG
hvitved
committed
cbe207a
C#: Use parameter CFG nodes in SSA
hvitved
committed
6c42418
C#: No need to special-case default arguments in nullness analysis
hvitved
committed
d4a3247
C#: Move internal logic into `internal/ControlFlowGraph.qll`
hvitved
committed
b6c4642
C#: Add upgrade/downgrade scripts
hvitved
committed
99023f8
Java: Adapt to changes in shared CFG library
hvitved
committed
99b5cec
Update shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

hvitved
and
aschackmull
authored
e14b654