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

C#: Add some string interpolation tests with alignment and formatting.

Browse Source
This commit is contained in:
Michael Nebel
2025-03-20 15:43:03 +01:00
parent af6e1bda4c
commit 2ca5ec0032
4 changed files with 67 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
csharp/ql/test/library-tests/stringinterpolation/StringInterpolation.cs Normal file
View File

@@ -0,0 +1,17 @@
using System;
public class MyStringInterpolationClass
{
public void M()
{
float i = 3.14159f;
const int align = 5;
var x1 = $"Hello, Pi {i}";
var x2 = $"Hello, Pi {i:F1}";
var x3 = $"Hello, Pi {i,6}";
var x4 = $"Hello, Pi {i,6:F3}";
var x5 = $"Hello, Pi {i,align}";
var x6 = $"Hello, Pi {i,align:F2}";
}
}

2
csharp/ql/test/library-tests/stringinterpolation/options Normal file
View File

@@ -0,0 +1,2 @@
semmle-extractor-options: /nostdlib /noconfig
semmle-extractor-options: --load-sources-from-project:${testdir}/../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj

23
csharp/ql/test/library-tests/stringinterpolation/stringInterpolation.expected Normal file
View File

@@ -0,0 +1,23 @@
inserts
| StringInterpolation.cs:10:18:10:33 | $"..." | StringInterpolation.cs:10:31:10:31 | access to local variable i |
| StringInterpolation.cs:11:18:11:36 | $"..." | StringInterpolation.cs:11:31:11:31 | access to local variable i |
| StringInterpolation.cs:12:18:12:35 | $"..." | StringInterpolation.cs:12:31:12:31 | access to local variable i |
| StringInterpolation.cs:13:18:13:38 | $"..." | StringInterpolation.cs:13:31:13:31 | access to local variable i |
| StringInterpolation.cs:14:18:14:39 | $"..." | StringInterpolation.cs:14:31:14:31 | access to local variable i |
| StringInterpolation.cs:15:18:15:42 | $"..." | StringInterpolation.cs:15:31:15:31 | access to local variable i |
texts
| StringInterpolation.cs:10:18:10:33 | $"..." | StringInterpolation.cs:10:20:10:29 | "Hello, Pi " |
| StringInterpolation.cs:11:18:11:36 | $"..." | StringInterpolation.cs:11:20:11:29 | "Hello, Pi " |
| StringInterpolation.cs:12:18:12:35 | $"..." | StringInterpolation.cs:12:20:12:29 | "Hello, Pi " |
| StringInterpolation.cs:13:18:13:38 | $"..." | StringInterpolation.cs:13:20:13:29 | "Hello, Pi " |
| StringInterpolation.cs:14:18:14:39 | $"..." | StringInterpolation.cs:14:20:14:29 | "Hello, Pi " |
| StringInterpolation.cs:15:18:15:42 | $"..." | StringInterpolation.cs:15:20:15:29 | "Hello, Pi " |
interpolationInsertsWithAlign
| StringInterpolation.cs:12:18:12:35 | $"..." | StringInterpolation.cs:12:31:12:31 | access to local variable i | StringInterpolation.cs:12:33:12:33 | 6 |
| StringInterpolation.cs:13:18:13:38 | $"..." | StringInterpolation.cs:13:31:13:31 | access to local variable i | StringInterpolation.cs:13:33:13:33 | 6 |
| StringInterpolation.cs:14:18:14:39 | $"..." | StringInterpolation.cs:14:31:14:31 | access to local variable i | StringInterpolation.cs:14:33:14:37 | access to local variable align |
| StringInterpolation.cs:15:18:15:42 | $"..." | StringInterpolation.cs:15:31:15:31 | access to local variable i | StringInterpolation.cs:15:33:15:37 | access to local variable align |
interpolationInsertsWithFormat
| StringInterpolation.cs:11:18:11:36 | $"..." | StringInterpolation.cs:11:31:11:31 | access to local variable i | StringInterpolation.cs:11:32:11:34 | "F1" |
| StringInterpolation.cs:13:18:13:38 | $"..." | StringInterpolation.cs:13:31:13:31 | access to local variable i | StringInterpolation.cs:13:34:13:36 | "F3" |
| StringInterpolation.cs:15:18:15:42 | $"..." | StringInterpolation.cs:15:31:15:31 | access to local variable i | StringInterpolation.cs:15:38:15:40 | "F2" |

25
csharp/ql/test/library-tests/stringinterpolation/stringInterpolation.ql Normal file
View File

@@ -0,0 +1,25 @@
import csharp
query predicate inserts(InterpolatedStringExpr expr, Expr e) {
expr.getAnInsert() = e // and inSpecificSource(expr)
}
query predicate texts(InterpolatedStringExpr expr, StringLiteral literal) {
expr.getAText() = literal // and inSpecificSource(expr)
}
query predicate interpolationInsertsWithAlign(InterpolatedStringExpr expr, Expr insert, Expr align) {
exists(InterpolatedStringInsertExpr e | expr.getInterpolatedInsert(_) = e |
insert = e.getInsert() and
align = e.getAlignment()
)
}
query predicate interpolationInsertsWithFormat(
InterpolatedStringExpr expr, Expr insert, StringLiteral format
) {
exists(InterpolatedStringInsertExpr e | expr.getInterpolatedInsert(_) = e |
insert = e.getInsert() and
format = e.getFormat()
)
}