Shared: Generate more value-preserving flow summaries#19443

Merged

MathiasVP merged 17 commits intogithub:mainfrom

MathiasVP:generate-more-value-preserving-summaries-2

May 14, 2025

Commits on May 8, 2025

Shared: Fix QLDoc to make QL4QL happy.
MathiasVP
committed

Commits on May 13, 2025

Shared: Avoid generating taint based heuristic summaries when a content sensitive summary can be generated.

michaelnebel
authored and
MathiasVP
committed
Shared: Adjust the printing of heuristic value summaries (and fix a minor issue with output printing in captureSink).

michaelnebel
authored and
MathiasVP
committed
C#: Update model generator implementation and test expected output.

michaelnebel
authored and
MathiasVP
committed
Java: Update model generator implementation and test expected output.

michaelnebel
authored and
MathiasVP
committed
Rust: Update model generator implementation.

michaelnebel
authored and
MathiasVP
committed
Cpp: Update model generator implementation.

michaelnebel
authored and
MathiasVP
committed