hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 13:15:21 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #5316 from tamasvajk/feature/roslyn3.9

Browse Source 
C#: Upgrade Roslyn dependencies to 3.9
This commit is contained in:
Tamás Vajk
2021-03-16 11:44:42 +01:00
committed by GitHub
parent 86b933a0e0 3e0245a7fc
commit 8d6b8359eb
10 changed files with 22 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/test/library-tests/controlflow/guards/Assert.cs
View File

@@ -1,7 +1,7 @@
using System;
using System.Diagnostics;
using Microsoft.VisualStudio.TestTools.UnitTesting;
#nullable enable
class AssertTests
{
void M1(bool b)

2
csharp/ql/test/library-tests/controlflow/guards/Collections.cs
View File

@@ -4,7 +4,7 @@ using System.Collections;
using System.Collections.Generic;
using System.Collections.Specialized;
using System.Linq;
#nullable enable
public class Collections
{
void M1(string[] args)

2
csharp/ql/test/library-tests/controlflow/guards/Guards.cs
View File

@@ -1,5 +1,5 @@
using System;
#nullable enable
public class Guards
{
public string? Field;

2
csharp/ql/test/library-tests/controlflow/guards/Splitting.cs
View File

@@ -1,6 +1,6 @@
using System;
using System.Diagnostics;
#nullable enable
/// <summary>
/// Tests related to CFG splitting.
/// </summary>

15
csharp/ql/test/library-tests/csharp8/NullableRefTypes.expected
View File

@@ -207,7 +207,7 @@ returnTypes
| NullableRefTypes.cs:215:10:215:20 | ElementTest | Void! |
| NullableRefTypes.cs:223:48:223:54 | GetSelf | TestNullableFlowStates? |
methodTypeArguments
| NameResolutionSuppressNullable.cs:10:21:10:40 | EnsureInitialized | 0 | WaitCallback? |
| NameResolutionSuppressNullable.cs:10:21:10:40 | EnsureInitialized | 0 | WaitCallback |
| NullableRefTypes.cs:51:12:51:15 | Q | 0 | MyClass! |
| NullableRefTypes.cs:51:12:51:15 | Q | 0 | MyClass? |
| NullableRefTypes.cs:67:10:67:21 | GenericFn | 0 | MyClass! |
@@ -326,11 +326,11 @@ expressionTypes
| NullableRefTypes.cs:113:36:113:43 | access to field Property | MyClass? |
| NullableRefTypes.cs:113:36:113:43 | this access | RefTypes |
| NullableRefTypes.cs:113:36:113:44 | ...! | MyClass? |
| NullableRefTypes.cs:157:18:157:30 | object creation of type MyClass | MyClass! |
| NullableRefTypes.cs:160:17:160:17 | access to local variable a | MyClass! |
| NullableRefTypes.cs:160:17:160:21 | MyClass a = ... | MyClass! |
| NullableRefTypes.cs:160:21:160:21 | access to parameter p | MyClass! |
| NullableRefTypes.cs:161:16:161:16 | access to local variable a | MyClass! |
| NullableRefTypes.cs:157:18:157:30 | object creation of type MyClass | MyClass |
| NullableRefTypes.cs:160:17:160:17 | access to local variable a | MyClass |
| NullableRefTypes.cs:160:17:160:21 | MyClass a = ... | MyClass |
| NullableRefTypes.cs:160:21:160:21 | access to parameter p | MyClass |
| NullableRefTypes.cs:161:16:161:16 | access to local variable a | MyClass |
| NullableRefTypes.cs:181:17:181:17 | access to local variable x | string! |
| NullableRefTypes.cs:181:17:181:31 | String x = ... | string! |
| NullableRefTypes.cs:181:21:181:31 | call to method MaybeNull | string? |
@@ -444,9 +444,6 @@ exprFlowState
| NullableRefTypes.cs:110:64:110:67 | null | Maybe null |
| NullableRefTypes.cs:113:36:113:43 | access to field Property | Not null |
| NullableRefTypes.cs:113:36:113:44 | ...! | Not null |
| NullableRefTypes.cs:157:18:157:30 | object creation of type MyClass | Not null |
| NullableRefTypes.cs:160:21:160:21 | access to parameter p | Not null |
| NullableRefTypes.cs:161:16:161:16 | access to local variable a | Not null |
| NullableRefTypes.cs:181:21:181:31 | call to method MaybeNull | Maybe null |
| NullableRefTypes.cs:183:9:183:16 | call to method Check | Not null |
| NullableRefTypes.cs:183:15:183:15 | access to local variable x | Maybe null |

5
csharp/ql/test/library-tests/csharp9/record.ql
View File

@@ -1,7 +1,9 @@
import csharp
query predicate records(Record t, string i, RecordCloneMethod clone) {
t.getABaseInterface().toStringWithTypes() = i and clone = t.getCloneMethod()
t.getABaseInterface().toStringWithTypes() = i and
clone = t.getCloneMethod() and
t.fromSource()
}
private string getMemberName(Member m) {
@@ -9,6 +11,7 @@ private string getMemberName(Member m) {
}
query predicate members(Record t, string ms, string l) {
t.fromSource() and
exists(Member m | t.hasMember(m) |
ms = getMemberName(m) and
if m.fromSource() then l = m.getLocation().toString() else l = "no location"

4
csharp/ql/test/query-tests/Security Features/CWE-020/RuntimeChecksBypass.cs
View File

@@ -17,8 +17,10 @@ public class Test1
[OnDeserializing]
public void Deserialize()
{
f = $"invalid"; // BAD
f = GetString(); // BAD, non-constant and non-object creation expr
}
string GetString() { throw null; }
}
[Serializable]

6
csharp/ql/test/query-tests/Security Features/CWE-020/RuntimeChecksbypass.expected
View File

@@ -1,4 +1,4 @@
| RuntimeChecksBypass.cs:20:13:20:22 | $"..." | This write to $@ may be circumventing a $@. | RuntimeChecksBypass.cs:7:19:7:19 | f | f | RuntimeChecksBypass.cs:11:9:14:9 | if (...) ... | check |
| RuntimeChecksBypass.cs:124:15:124:34 | call to method GetInt32 | This write to $@ may be circumventing a $@. | RuntimeChecksBypass.cs:112:16:112:18 | Age | Age | RuntimeChecksBypass.cs:116:9:117:53 | if (...) ... | check |
| RuntimeChecksBypass.cs:168:15:168:17 | access to local variable age | This write to $@ may be circumventing a $@. | RuntimeChecksBypass.cs:153:16:153:18 | Age | Age | RuntimeChecksBypass.cs:157:9:158:53 | if (...) ... | check |
| RuntimeChecksBypass.cs:20:13:20:23 | call to method GetString | This write to $@ may be circumventing a $@. | RuntimeChecksBypass.cs:7:19:7:19 | f | f | RuntimeChecksBypass.cs:11:9:14:9 | if (...) ... | check |
| RuntimeChecksBypass.cs:126:15:126:34 | call to method GetInt32 | This write to $@ may be circumventing a $@. | RuntimeChecksBypass.cs:114:16:114:18 | Age | Age | RuntimeChecksBypass.cs:118:9:119:53 | if (...) ... | check |
| RuntimeChecksBypass.cs:170:15:170:17 | access to local variable age | This write to $@ may be circumventing a $@. | RuntimeChecksBypass.cs:155:16:155:18 | Age | Age | RuntimeChecksBypass.cs:159:9:160:53 | if (...) ... | check |
| RuntimeChecksBypassBad.cs:19:15:19:34 | call to method GetInt32 | This write to $@ may be circumventing a $@. | RuntimeChecksBypassBad.cs:7:16:7:18 | Age | Age | RuntimeChecksBypassBad.cs:11:9:12:53 | if (...) ... | check |