- Inline expectations test comments, which are of the form
// $ tagor// $ tag=value, are now parsed more strictly and will not be recognized if there isn't a space after the$symbol. - Added
System.Net.WebSockets::ReceiveAsyncas a remote flow source. - Added reverse taint flow from implicit conversion operator calls to their arguments.
- Added post-update nodes for struct-type arguments, allowing data flow out of method calls via those arguments.
- C# 14: Added support for partial constructors.