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

C#: Update model generator expected test output.

Browse Source
This commit is contained in:
Michael Nebel
2025-03-25 15:28:02 +01:00
parent 8763d18c91
commit 8bda7ce6be
3 changed files with 0 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/test/utils/modelgenerator/dataflow/CaptureContentSummaryModels.expected
View File

@@ -1,8 +1,2 @@
unexpectedModel
| Unexpected contentbased-summary found: Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];ReturnValue;value;dfc-generated |
| Unexpected contentbased-summary found: Models;ParameterModifiers;false;CopyToRef;(System.Object,System.Object);;Argument[0];ReturnValue;value;dfc-generated |
| Unexpected contentbased-summary found: Models;ParameterModifiers;false;RefParamFlowToSelf;(System.Object,System.Boolean);;Argument[0];ReturnValue;value;dfc-generated |
| Unexpected contentbased-summary found: Models;ParameterModifiers;false;RefParamUse;(System.Object);;Argument[0];ReturnValue;value;dfc-generated |
expectedModel
| Expected contentbased-summary missing: Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];Argument[1];value;dfc-generated |
| Expected contentbased-summary missing: Models;ParameterModifiers;false;CopyToRef;(System.Object,System.Object);;Argument[0];Argument[1];value;dfc-generated |

2
csharp/ql/test/utils/modelgenerator/dataflow/CaptureNeutralModels.expected
View File

@@ -1,4 +1,2 @@
unexpectedModel
expectedModel
| Expected neutral missing: Models;ParameterModifiers;RefParamFlowToSelf;(System.Object,System.Boolean);summary;df-generated |
| Expected neutral missing: Models;ParameterModifiers;RefParamUse;(System.Object);summary;df-generated |

6
csharp/ql/test/utils/modelgenerator/dataflow/CaptureSummaryModels.expected
View File

@@ -1,8 +1,2 @@
unexpectedModel
| Unexpected summary found: Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];ReturnValue;taint;df-generated |
| Unexpected summary found: Models;ParameterModifiers;false;CopyToRef;(System.Object,System.Object);;Argument[0];ReturnValue;taint;df-generated |
| Unexpected summary found: Models;ParameterModifiers;false;RefParamFlowToSelf;(System.Object,System.Boolean);;Argument[0];ReturnValue;taint;df-generated |
| Unexpected summary found: Models;ParameterModifiers;false;RefParamUse;(System.Object);;Argument[0];ReturnValue;taint;df-generated |
expectedModel
| Expected summary missing: Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];Argument[1];taint;df-generated |
| Expected summary missing: Models;ParameterModifiers;false;CopyToRef;(System.Object,System.Object);;Argument[0];Argument[1];taint;df-generated |