C#: Add some spurious summary generation examples.

michaelnebel · michaelnebel · commit 02f9aec51712 · 2024-05-31T12:50:14.000+02:00
diff --git a/csharp/ql/test/utils/modelgenerator/dataflow/Summaries.cs b/csharp/ql/test/utils/modelgenerator/dataflow/Summaries.cs
@@ -430,6 +430,18 @@ public Int32 M4(Int32 i)
     {
         return i;
     }
+
+    // SPURIOUS-summary=Models;SimpleTypes;false;M5;(System.DateTime);;Argument[0];ReturnValue;taint;df-generated
+    public DateTime M5(DateTime d)
+    {
+        return d;
+    }
+
+    // SPURIOUS-summary=Models;SimpleTypes;false;M6;(System.Type);;Argument[0];ReturnValue;taint;df-generated
+    public Type M6(Type t)
+    {
+        return t;
+    }
 }
 
 // No models as higher order methods are excluded

Original file line number	Diff line number	Diff line change
`@@ -430,6 +430,18 @@ public Int32 M4(Int32 i)`
`430`	`430`	`{`
`431`	`431`	`return i;`
`432`	`432`	`}`
	`433`	`+`
	`434`	`+ // SPURIOUS-summary=Models;SimpleTypes;false;M5;(System.DateTime);;Argument[0];ReturnValue;taint;df-generated`
	`435`	`+ public DateTime M5(DateTime d)`
	`436`	`+ {`
	`437`	`+ return d;`
	`438`	`+ }`
	`439`	`+`
	`440`	`+ // SPURIOUS-summary=Models;SimpleTypes;false;M6;(System.Type);;Argument[0];ReturnValue;taint;df-generated`
	`441`	`+ public Type M6(Type t)`
	`442`	`+ {`
	`443`	`+ return t;`
	`444`	`+ }`
`433`	`445`	`}`
`434`	`446`
`435`	`447`	`// No models as higher order methods are excluded`