hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 08:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Do not consider ref struct as being convertible to object, dynamic and valuetype.

Browse Source
This commit is contained in:
Michael Nebel
2025-01-03 14:05:18 +01:00
parent 9a2edc3d5c
commit ef9f09ebfc
1 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -649,11 +649,14 @@ predicate convBoxing(Type fromType, Type toType) {
}
private predicate convBoxingValueType(ValueType fromType, Type toType) {
toType instanceof ObjectType
or
toType instanceof DynamicType
or
toType instanceof SystemValueTypeClass
(
toType instanceof ObjectType
or
toType instanceof DynamicType
or
toType instanceof SystemValueTypeClass
) and
not fromType.(Struct).isRef()
or
toType = fromType.getABaseInterface+()
}