C#: Add some property test cases.

michaelnebel · michaelnebel · commit 32595b92a2f8 · 2024-04-12T11:31:57.000+02:00
diff --git a/csharp/ql/test/utils/modelgenerator/dataflow/CaptureSummaryModels.expected b/csharp/ql/test/utils/modelgenerator/dataflow/CaptureSummaryModels.expected
@@ -1,3 +1,5 @@
+| NoSummaries;Properties;false;get_Prop;();;Argument[this];ReturnValue;taint;df-generated |
+| NoSummaries;Properties;false;set_Prop;(System.Object);;Argument[0];Argument[this];taint;df-generated |
 | NoSummaries;PublicClassFlow;false;PublicReturn;(System.Object);;Argument[0];ReturnValue;taint;df-generated |
 | Summaries;BaseClassFlow;true;ReturnParam;(System.Object);;Argument[0];ReturnValue;taint;df-generated |
 | Summaries;BasicFlow;false;ReturnField;();;Argument[this];ReturnValue;taint;df-generated |
@@ -36,3 +38,5 @@
 | Summaries;IEnumerableFlow;false;ReturnIEnumerableElement;(System.Collections.Generic.IEnumerable<System.Object>);;Argument[0].Element;ReturnValue;taint;df-generated |
 | Summaries;OperatorFlow;false;OperatorFlow;(System.Object);;Argument[0];Argument[this];taint;df-generated |
 | Summaries;OperatorFlow;false;op_Addition;(Summaries.OperatorFlow,Summaries.OperatorFlow);;Argument[0];ReturnValue;taint;df-generated |
+| Summaries;Properties;false;get_Prop1;();;Argument[this];ReturnValue;taint;df-generated |
+| Summaries;Properties;false;set_Prop2;(System.String);;Argument[0];Argument[this];taint;df-generated |
diff --git a/csharp/ql/test/utils/modelgenerator/dataflow/NoSummaries.cs b/csharp/ql/test/utils/modelgenerator/dataflow/NoSummaries.cs
@@ -162,3 +162,13 @@ public object HasNeutralSummaryNoFlow(object o)
         return null;
     }
 }
+
+public class Properties
+{
+    public object backingField;
+    public object Prop
+    {
+        get { return backingField; }
+        set { backingField = value; }
+    }
+}
diff --git a/csharp/ql/test/utils/modelgenerator/dataflow/Summaries.cs b/csharp/ql/test/utils/modelgenerator/dataflow/Summaries.cs
@@ -260,3 +260,18 @@ public override int GetHashCode()
         return intTainted;
     }
 }
+
+public class Properties
+{
+    private string tainted;
+
+    public string Prop1
+    {
+        get { return tainted; }
+    }
+
+    public string Prop2
+    {
+        set { tainted = value; }
+    }
+}

Original file line number	Diff line number	Diff line change
`@@ -162,3 +162,13 @@ public object HasNeutralSummaryNoFlow(object o)`
`162`	`162`	`return null;`
`163`	`163`	`}`
`164`	`164`	`}`
	`165`	`+`
	`166`	`+public class Properties`
	`167`	`+{`
	`168`	`+ public object backingField;`
	`169`	`+ public object Prop`
	`170`	`+ {`
	`171`	`+ get { return backingField; }`
	`172`	`+ set { backingField = value; }`
	`173`	`+ }`
	`174`	`+}`