C#: Base tests for CWE-020 on stubs.

This commit is contained in:
Michael Nebel
2023-06-13 15:02:57 +02:00
parent 3e8102a0c8
commit d0844bbe6e
2 changed files with 4 additions and 1 deletions

View File

@@ -1 +1,3 @@
semmle-extractor-options: /r:${testdir}/../../../resources/assemblies/System.Web.dll /r:${testdir}/../../../resources/assemblies/System.Web.ApplicationServices.dll /r:${testdir}/../../../resources/assemblies/System.Data.dll /r:System.Text.RegularExpressions.dll /r:System.Collections.Specialized.dll /r:System.Data.Common.dll /r:System.Security.Cryptography.X509Certificates.dll /r:System.Runtime.InteropServices.dll
semmle-extractor-options: /nostdlib /noconfig
semmle-extractor-options: --load-sources-from-project:${testdir}/../../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj
semmle-extractor-options: ${testdir}/../../../resources/stubs/System.Web.cs

View File

@@ -156,6 +156,7 @@ namespace System.Web
public class HttpResponse
{
public void Write(object o) { }
public void Write(string s) { }
public void WriteFile(string s) { }
public HttpCookieCollection Cookies => null;
public void AddHeader(string name, string value) { }