hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 17:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Use CollectionType instead of ArrayType when generating models.

Browse Source
This commit is contained in:
Michael Nebel
2022-03-15 15:41:46 +01:00
parent 3067231b1a
commit a9bbe6889b
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
csharp/ql/src/utils/model-generator/ModelGeneratorUtilsSpecific.qll
View File

@@ -1,6 +1,7 @@
import csharp
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
private import semmle.code.csharp.commons.Util
private import semmle.code.csharp.commons.Collections
private import semmle.code.csharp.dataflow.internal.DataFlowImplCommon
private import semmle.code.csharp.dataflow.internal.DataFlowDispatch
@@ -71,7 +72,7 @@ private predicate isPrimitiveTypeUsedForBulkData(Type t) {
private string parameterAccess(Parameter p) {
if
p.getType() instanceof ArrayType and
p.getType() instanceof CollectionType and
not isPrimitiveTypeUsedForBulkData(p.getType().(ArrayType).getElementType())
then result = "Argument[" + p.getPosition() + "].Element"
else result = "Argument[" + p.getPosition() + "]"