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

C#: Add tests for qualified delegate pointer calls

Browse Source
This commit is contained in:
Tom Hvitved
2024-02-01 10:49:43 +01:00
parent c74bc68287
commit d1ed317832
4 changed files with 58 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
csharp/ql/test/library-tests/delegates/Delegates4.expected
View File

@@ -2,7 +2,11 @@
| delegates.cs:74:13:74:23 | delegate call | delegates.cs:74:13:74:15 | access to local variable cd7 |
| delegates.cs:79:22:79:26 | delegate call | delegates.cs:79:22:79:23 | access to local variable pi |
| delegates.cs:79:30:79:35 | delegate call | delegates.cs:79:30:79:31 | access to local variable ps |
| delegates.cs:93:13:93:25 | delegate call | delegates.cs:93:13:93:22 | access to field Field |
| delegates.cs:94:13:94:28 | delegate call | delegates.cs:94:13:94:25 | access to property Property |
| delegates.cs:95:13:95:20 | delegate call | delegates.cs:95:13:95:17 | access to field Field |
| delegates.cs:96:13:96:23 | delegate call | delegates.cs:96:13:96:20 | access to property Property |
| delegates.cs:95:13:95:25 | delegate call | delegates.cs:95:13:95:22 | access to field Field |
| delegates.cs:96:13:96:28 | delegate call | delegates.cs:96:13:96:25 | access to property Property |
| delegates.cs:97:13:97:20 | delegate call | delegates.cs:97:13:97:17 | access to field Field |
| delegates.cs:98:13:98:23 | delegate call | delegates.cs:98:13:98:20 | access to property Property |
| delegates.cs:99:13:99:28 | function pointer call | delegates.cs:99:13:99:25 | access to field FieldPtr |
| delegates.cs:100:13:100:31 | function pointer call | delegates.cs:100:13:100:28 | access to property PropertyPtr |
| delegates.cs:101:13:101:23 | function pointer call | delegates.cs:101:13:101:20 | access to field FieldPtr |
| delegates.cs:102:13:102:26 | function pointer call | delegates.cs:102:13:102:23 | access to property PropertyPtr |

2
csharp/ql/test/library-tests/delegates/Delegates4.ql
View File

@@ -1,4 +1,4 @@
import csharp
from DelegateCall dc
from DelegateLikeCall dc
select dc, dc.getExpr()

56
csharp/ql/test/library-tests/delegates/PrintAst.expected
View File

@@ -260,24 +260,50 @@ delegates.cs:
# 89| 4: [Setter] set_Property
#-----| 2: (Parameters)
# 89| 0: [Parameter] value
# 91| 7: [Method] M
# 91| -1: [TypeMention] Void
# 92| 4: [BlockStmt] {...}
# 93| 0: [ExprStmt] ...;
# 93| 0: [DelegateCall] delegate call
# 93| -1: [FieldAccess] access to field Field
# 93| -1: [ThisAccess] this access
# 93| 0: [IntLiteral] 0
# 94| 1: [ExprStmt] ...;
# 94| 0: [DelegateCall] delegate call
# 94| -1: [PropertyCall] access to property Property
# 94| -1: [ThisAccess] this access
# 94| 0: [IntLiteral] 0
# 95| 2: [ExprStmt] ...;
# 90| 7: [Field] FieldPtr
# 90| -1: [TypeMention] delegate* default<Int32,Void>
# 91| 8: [Property] PropertyPtr
# 91| -1: [TypeMention] delegate* default<Int32,Void>
# 91| 3: [Getter] get_PropertyPtr
# 91| 4: [Setter] set_PropertyPtr
#-----| 2: (Parameters)
# 91| 0: [Parameter] value
# 93| 9: [Method] M
# 93| -1: [TypeMention] Void
# 94| 4: [BlockStmt] {...}
# 95| 0: [ExprStmt] ...;
# 95| 0: [DelegateCall] delegate call
# 95| -1: [FieldAccess] access to field Field
# 95| -1: [ThisAccess] this access
# 95| 0: [IntLiteral] 0
# 96| 3: [ExprStmt] ...;
# 96| 1: [ExprStmt] ...;
# 96| 0: [DelegateCall] delegate call
# 96| -1: [PropertyCall] access to property Property
# 96| -1: [ThisAccess] this access
# 96| 0: [IntLiteral] 0
# 97| 2: [ExprStmt] ...;
# 97| 0: [DelegateCall] delegate call
# 97| -1: [FieldAccess] access to field Field
# 97| 0: [IntLiteral] 0
# 98| 3: [ExprStmt] ...;
# 98| 0: [DelegateCall] delegate call
# 98| -1: [PropertyCall] access to property Property
# 98| 0: [IntLiteral] 0
# 99| 4: [ExprStmt] ...;
# 99| 0: [FunctionPointerCall] function pointer call
# 99| -1: [FieldAccess] access to field FieldPtr
# 99| -1: [ThisAccess] this access
# 99| 0: [IntLiteral] 0
# 100| 5: [ExprStmt] ...;
# 100| 0: [FunctionPointerCall] function pointer call
# 100| -1: [PropertyCall] access to property PropertyPtr
# 100| -1: [ThisAccess] this access
# 100| 0: [IntLiteral] 0
# 101| 6: [ExprStmt] ...;
# 101| 0: [FunctionPointerCall] function pointer call
# 101| -1: [FieldAccess] access to field FieldPtr
# 101| 0: [IntLiteral] 0
# 102| 7: [ExprStmt] ...;
# 102| 0: [FunctionPointerCall] function pointer call
# 102| -1: [PropertyCall] access to property PropertyPtr
# 102| 0: [IntLiteral] 0

10
csharp/ql/test/library-tests/delegates/delegates.cs
View File

@@ -83,17 +83,23 @@ namespace Delegates
}
class E
unsafe class E
{
Action<int> Field;
Action<int> Property { get; set; }
delegate*<int, void> FieldPtr;
delegate*<int, void> PropertyPtr { get; set; }
void M()
unsafe void M()
{
this.Field(0);
this.Property(0);
Field(0);
Property(0);
this.FieldPtr(0);
this.PropertyPtr(0);
FieldPtr(0);
PropertyPtr(0);
}
}
}