You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: change-notes/1.23/analysis-csharp.md
+1Lines changed: 1 addition & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -47,5 +47,6 @@ The following changes in version 1.23 affect C# analysis in all applications.
47
47
`TaintTracking::localExprTaint` predicate to make it easy to use the most
48
48
common case of local data flow and taint: from one `Expr` to another.
49
49
* Data is now tracked through null-coalescing expressions (`??`).
50
+
* A new library `semmle.code.csharp.Unification` has been added. This library exposes two predicates `unifiable` and `subsumes` for calculating type unification and type subsumption, respectively.
0 commit comments