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

C#: Add cs/deferenced-value-is-always-null test example for compound operators.

Browse Source
This commit is contained in:
Michael Nebel
2026-04-24 08:46:41 +02:00
parent 01baa6e3ae
commit f3f3ee6e81
2 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
csharp/ql/test/query-tests/Nullness/C.cs
View File

@@ -264,6 +264,13 @@ public class C
temp = sa.Length; // BAD (always), but not first
}
public void CompoundAssignment()
{
C c1 = null;
C c2 = new C(true);
c1 += c2; // $ Alert[cs/dereferenced-value-is-always-null]
}
bool m;
C(bool m)
{
@@ -271,4 +278,6 @@ public class C
}
bool Maybe() => this.m;
public void operator +=(C other) { }
}

1
csharp/ql/test/query-tests/Nullness/NullAlways.expected
View File

@@ -24,6 +24,7 @@
| C.cs:249:9:249:9 | access to local variable a | Variable $@ is always null at this dereference. | C.cs:248:15:248:15 | a | a |
| C.cs:260:9:260:10 | access to local variable ia | Variable $@ is always null at this dereference. | C.cs:257:15:257:16 | ia | ia |
| C.cs:261:20:261:21 | access to local variable sa | Variable $@ is always null at this dereference. | C.cs:258:18:258:19 | sa | sa |
| C.cs:271:9:271:10 | access to local variable c1 | Variable $@ is always null at this dereference. | C.cs:269:11:269:12 | c1 | c1 |
| D.cs:120:13:120:13 | access to local variable x | Variable $@ is always null at this dereference. | D.cs:117:13:117:13 | x | x |
| D.cs:197:13:197:13 | access to local variable o | Variable $@ is always null at this dereference. | D.cs:195:13:195:13 | o | o |
| D.cs:207:17:207:17 | access to local variable e | Variable $@ is always null at this dereference. | D.cs:204:26:204:26 | e | e |