C#: Update HttpServerUtility stub with HtmlEncode method and update flow summaries test.

michaelnebel · michaelnebel · commit 6301e726ee66 · 2021-12-13T09:19:41.000+01:00
diff --git a/csharp/ql/test/library-tests/dataflow/library/FlowSummaries.expected b/csharp/ql/test/library-tests/dataflow/library/FlowSummaries.expected
@@ -2218,6 +2218,7 @@
 | System.Web.UI.WebControls;TextBox;false;get_Text;();;Argument[-1];ReturnValue;taint |
 | System.Web;HttpCookie;false;get_Value;();;Argument[-1];ReturnValue;taint |
 | System.Web;HttpCookie;false;get_Values;();;Argument[-1];ReturnValue;taint |
+| System.Web;HttpServerUtility;false;HtmlEncode;(System.String);;Argument[0];ReturnValue;taint |
 | System.Web;HttpServerUtility;false;UrlEncode;(System.String);;Argument[0];ReturnValue;taint |
 | System.Web;HttpUtility;false;HtmlAttributeEncode;(System.String);;Argument[0];ReturnValue;taint |
 | System.Web;HttpUtility;false;HtmlAttributeEncode;(System.String,System.IO.TextWriter);;Argument[0];ReturnValue;taint |
diff --git a/csharp/ql/test/library-tests/dataflow/library/FlowSummariesFiltered.expected b/csharp/ql/test/library-tests/dataflow/library/FlowSummariesFiltered.expected
@@ -1903,6 +1903,7 @@
 | System.Web.UI.WebControls;TextBox;false;get_Text;();;Argument[-1];ReturnValue;taint |
 | System.Web;HttpCookie;false;get_Value;();;Argument[-1];ReturnValue;taint |
 | System.Web;HttpCookie;false;get_Values;();;Argument[-1];ReturnValue;taint |
+| System.Web;HttpServerUtility;false;HtmlEncode;(System.String);;Argument[0];ReturnValue;taint |
 | System.Web;HttpServerUtility;false;UrlEncode;(System.String);;Argument[0];ReturnValue;taint |
 | System.Web;HttpUtility;false;HtmlAttributeEncode;(System.String);;Argument[0];ReturnValue;taint |
 | System.Web;HttpUtility;false;HtmlAttributeEncode;(System.String,System.IO.TextWriter);;Argument[0];ReturnValue;taint |
diff --git a/csharp/ql/test/resources/stubs/System.Web.cs b/csharp/ql/test/resources/stubs/System.Web.cs
@@ -42,6 +42,7 @@ public class HttpServerUtility
     {
         public void Transfer(string path) { }
         public string UrlEncode(string s) => null;
+        public string HtmlEncode(string s) => null;
     }
 
     public class HttpApplication : IHttpHandler

Original file line number	Diff line number	Diff line change
`@@ -42,6 +42,7 @@ public class HttpServerUtility`
`42`	`42`	`{`
`43`	`43`	`public void Transfer(string path) { }`
`44`	`44`	`public string UrlEncode(string s) => null;`
	`45`	`+ public string HtmlEncode(string s) => null;`
`45`	`46`	`}`
`46`	`47`
`47`	`48`	`public class HttpApplication : IHttpHandler`