Skip to content

Latest commit

 

History

History
12 lines (8 loc) · 764 Bytes

File metadata and controls

12 lines (8 loc) · 764 Bytes

5.0.0

Breaking Changes

  • Deleted the deprecated getInstanceType predicate from the UnboundGenericType class.
  • Deleted the deprecated getElement predicate from the Node class in ControlFlowGraph.qll, use getAstNode instead.

Minor Analysis Improvements

  • C# 13: Added MaD models for some overload implementations using ReadOnlySpan parameters (like String.Format(System.String, System.ReadOnlySpan<System.Object>))).
  • C# 13: Added support for the overload resolution priority attribute (OverloadResolutionPriority). Usages of the attribute and the corresponding priority can be found using the QL class SystemRuntimeCompilerServicesOverloadResolutionPriorityAttribute.
  • C# 13: Added support for partial properties and indexers.