hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Add BMN test using broken types.

Browse Source
This commit is contained in:
Michael Nebel
2025-02-28 13:04:13 +01:00
parent 5551aebaa9
commit 9af170f60e
4 changed files with 70 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
csharp/ql/test/library-tests/standalone/brokentypes/BrokenTypes.cs Normal file
View File

@@ -0,0 +1,28 @@
// Broken type without a name.
public class { }
// Legal declaration, but we want don't want to use it.
public class var { }
public class C
{
public string Prop { get; set; }
}
public class Program
{
public static void Main()
{
C x1 = new C();
string y1 = x1.Prop;
var x2 = new C(); // Has type `var` as this overrides the implicitly typed keyword `var`.
var y2 = x2.Prop; // Unknown type as `x2` har type `var`.
C2 x3 = new C2(); // Unknown type.
var y3 = x3.Prop; // Unknown property of unknown type.
string s = x1.Prop + x3.Prop;
}
}

36
csharp/ql/test/library-tests/standalone/brokentypes/brokenTypes.expected Normal file
View File

@@ -0,0 +1,36 @@
| BrokenTypes.cs:2:14:2:13 | call to constructor Object | object | ObjectType |
| BrokenTypes.cs:5:14:5:16 | call to constructor Object | object | ObjectType |
| BrokenTypes.cs:7:14:7:14 | call to constructor Object | object | ObjectType |
| BrokenTypes.cs:13:14:13:20 | call to constructor Object | object | ObjectType |
| BrokenTypes.cs:17:11:17:12 | access to local variable x1 | C | Class |
| BrokenTypes.cs:17:11:17:22 | C x1 = ... | C | Class |
| BrokenTypes.cs:17:16:17:22 | object creation of type C | C | Class |
| BrokenTypes.cs:18:16:18:17 | access to local variable y1 | string | StringType |
| BrokenTypes.cs:18:16:18:27 | String y1 = ... | string | StringType |
| BrokenTypes.cs:18:21:18:22 | access to local variable x1 | C | Class |
| BrokenTypes.cs:18:21:18:27 | access to property Prop | string | StringType |
| BrokenTypes.cs:20:13:20:14 | access to local variable x2 | var | Class |
| BrokenTypes.cs:20:13:20:24 | var x2 = ... | var | Class |
| BrokenTypes.cs:20:18:20:24 | (...) ... | var | Class |
| BrokenTypes.cs:20:18:20:24 | object creation of type C | C | Class |
| BrokenTypes.cs:21:13:21:14 | access to local variable y2 | var | Class |
| BrokenTypes.cs:21:13:21:24 | var y2 = ... | var | Class |
| BrokenTypes.cs:21:18:21:19 | access to local variable x2 | var | Class |
| BrokenTypes.cs:21:18:21:24 | (...) ... | var | Class |
| BrokenTypes.cs:21:18:21:24 | access to property (unknown) | | Class |
| BrokenTypes.cs:23:12:23:13 | access to local variable x3 | <unknown type> | UnknownType |
| BrokenTypes.cs:23:12:23:24 | <unknown type> x3 = ... | <unknown type> | UnknownType |
| BrokenTypes.cs:23:17:23:24 | object creation of type <unknown type> | <unknown type> | UnknownType |
| BrokenTypes.cs:24:13:24:14 | access to local variable y3 | var | Class |
| BrokenTypes.cs:24:13:24:24 | var y3 = ... | var | Class |
| BrokenTypes.cs:24:18:24:19 | access to local variable x3 | <unknown type> | UnknownType |
| BrokenTypes.cs:24:18:24:24 | (...) ... | var | Class |
| BrokenTypes.cs:24:18:24:24 | access to property (unknown) | | Class |
| BrokenTypes.cs:26:16:26:16 | access to local variable s | string | StringType |
| BrokenTypes.cs:26:16:26:36 | String s = ... | string | StringType |
| BrokenTypes.cs:26:20:26:21 | access to local variable x1 | C | Class |
| BrokenTypes.cs:26:20:26:26 | access to property Prop | string | StringType |
| BrokenTypes.cs:26:20:26:36 | (...) ... | string | StringType |
| BrokenTypes.cs:26:20:26:36 | ... + ... | | Class |
| BrokenTypes.cs:26:30:26:31 | access to local variable x3 | <unknown type> | UnknownType |
| BrokenTypes.cs:26:30:26:36 | access to property (unknown) | | Class |

5
csharp/ql/test/library-tests/standalone/brokentypes/brokenTypes.ql Normal file
View File

@@ -0,0 +1,5 @@
import csharp
from Expr e, Type t
where e.fromSource() and t = e.getType()
select e, t.toStringWithTypes(), t.getAPrimaryQlClass()

1
csharp/ql/test/library-tests/standalone/brokentypes/options Normal file
View File

@@ -0,0 +1 @@
semmle-extractor-options: --standalone