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

C#: Bulk array flow.

Browse Source
This commit is contained in:
Michael Nebel
2022-03-16 09:30:15 +01:00
parent 226a874a74
commit a555e04b55
2 changed files with 23 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
csharp/ql/test/utils/model-generator/CaptureSummaryModels.expected
View File

@@ -6,6 +6,9 @@
| Summaries;BasicFlow;false;ReturnSubstring;(System.String);Argument[0];ReturnValue;taint |
| Summaries;BasicFlow;false;ReturnThis;(System.Object);Argument[Qualifier];ReturnValue;value |
| Summaries;BasicFlow;false;SetField;(System.String);Argument[0];Argument[Qualifier];taint |
| Summaries;BulkArrayFlow;false;AssignFieldToBulkArray;(System.Char[]);Argument[Qualifier];Argument[0];taint |
| Summaries;BulkArrayFlow;false;AssignToBulkArray;(System.Char[],System.Char);Argument[1];Argument[0];taint |
| Summaries;BulkArrayFlow;false;ReturnBulkArrayElement;(System.Byte[]);Argument[0];ReturnValue;taint |
| Summaries;CollectionFlow;false;AddFieldToList;(System.Collections.Generic.List<System.String>);Argument[Qualifier];Argument[0].Element;taint |
| Summaries;CollectionFlow;false;AddToList;(System.Collections.Generic.List<System.Object>,System.Object);Argument[1];Argument[0].Element;taint |
| Summaries;CollectionFlow;false;AssignFieldToArray;(System.Object[]);Argument[Qualifier];Argument[0].Element;taint |

20
csharp/ql/test/utils/model-generator/Summaries.cs
View File

@@ -102,4 +102,24 @@ public class IEnumerableFlow
{
return new List<string> { tainted };
}
}
public class BulkArrayFlow
{
private char tainted;
public void AssignToBulkArray(char[] input, char data)
{
input[0] = data;
}
public byte ReturnBulkArrayElement(byte[] input)
{
return input[0];
}
public void AssignFieldToBulkArray(char[] input)
{
input[0] = tainted;
}
}