Skip to content

Commit 59b71df

Browse files
committed
C#: Use stubs for the CWE-601 testcase.
1 parent 0b4d0d2 commit 59b71df

File tree

2 files changed

+3
-15
lines changed
  • csharp/ql/test/query-tests/Security Features/CWE-601/UrlRedirect

2 files changed

+3
-15
lines changed
Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,3 @@
1-
semmle-extractor-options: /r:System.Private.Uri.dll
2-
semmle-extractor-options: ${testdir}/../../../../resources/stubs/System.Web.cs /r:System.Collections.Specialized.dll
1+
semmle-extractor-options: /nostdlib /noconfig
2+
semmle-extractor-options: --load-sources-from-project:${testdir}/../../../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj
3+
semmle-extractor-options: ${testdir}/../../../../resources/stubs/System.Web.cs

csharp/ql/test/query-tests/Security Features/CWE-601/UrlRedirect/stubs.cs

Lines changed: 0 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -167,16 +167,3 @@ public struct StringValues : System.IEquatable<string[]>, System.IEquatable<stri
167167
}
168168
}
169169
}
170-
namespace System
171-
{
172-
// Generated from `System.Uri` in `System.Private.Uri, Version=4.0.4.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
173-
public class Uri : System.Runtime.Serialization.ISerializable
174-
{
175-
public Uri(string uriString) => throw null;
176-
public override bool Equals(object comparand) => throw null;
177-
public override int GetHashCode() => throw null;
178-
public override string ToString() => throw null;
179-
void System.Runtime.Serialization.ISerializable.GetObjectData(System.Runtime.Serialization.SerializationInfo serializationInfo, System.Runtime.Serialization.StreamingContext streamingContext) => throw null;
180-
}
181-
182-
}

0 commit comments

Comments
 (0)