hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-12 05:01:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Use ref conversions (including variance conversions) for element types of span conversions.

Browse Source
This commit is contained in:
Michael Nebel
2026-01-07 09:55:10 +01:00
parent b686890ba6
commit a991afdf69
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/lib/semmle/code/csharp/Conversion.qll
View File

@@ -533,9 +533,7 @@ predicate convSpan(Type fromType, Type toType) {
) and
toElementType = toType.(ReadOnlySpanType).getElementType()
|
convIdentity(fromElementType, toElementType)
or
convVariance(fromElementType, toElementType)
convRefTypeNonNull(fromElementType, toElementType)
)
or
fromType instanceof SystemStringClass and