C#: Streamline MaD summaries for Byte- and Char arrays and pointers#20239

Draft

michaelnebel wants to merge 10 commits intogithub:mainfrom

michaelnebel:csharp/streamlinebulkmodels

Commits on Aug 18, 2025

C#: Add example of failing taint flow for collections in sinks.
michaelnebel
committed
C#: Allow implicit reads from collections in argument nodes (sinks and additional flow steps) for default taint tracking configurations.
michaelnebel
committed
C#: Update test expected output.
michaelnebel
committed
C#: Update the external flow test and expected test output.
michaelnebel
committed
C#: Update the barrier in HashWithoutSalt to avoid an FP. It worked by accident before as we didn't allow implicit element reads at sinks.
michaelnebel
committed
C#: Add change note.
michaelnebel
committed
C#: Consider Byte and Char arrays and pointers to be bulk data types in terms of MaD.
michaelnebel
committed
C#: Add change note.
michaelnebel
committed
C#: Update test expected output.
michaelnebel
committed
C#: Update tests expected output.
michaelnebel
committed