hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

QL: Add tests for FieldOnlyUsedInCharPred.ql

Browse Source
This commit is contained in:
Tom Hvitved
2023-06-20 15:23:08 +02:00
parent 2253761eb0
commit 12c810c63d
3 changed files with 32 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ql/ql/test/queries/style/FieldOnlyUsedInCharPred/FieldOnlyUsedInCharPred.expected Normal file
View File

@@ -0,0 +1,2 @@
| FieldOnlyUsedInCharPred.qll:2:3:2:12 | FieldDecl | Field is only used in CharPred. |
| FieldOnlyUsedInCharPred.qll:22:3:22:11 | FieldDecl | Field is only used in CharPred. |

29
ql/ql/test/queries/style/FieldOnlyUsedInCharPred/FieldOnlyUsedInCharPred.qll Normal file
View File

@@ -0,0 +1,29 @@
class C1 extends int {
int field; // BAD
C1() {
this = field and
this = 0
}
}
class C2 extends C1 {
int field2; // GOOD
C2() {
this = field2 and
this = 0
}
int getField() { result = field2 }
}
class C3 extends int {
C1 field; // GOOD (overridden)
C3() { this = field }
}
class C4 extends C3 {
override C2 field; // GOOD (overriding)
}

1
ql/ql/test/queries/style/FieldOnlyUsedInCharPred/FieldOnlyUsedInCharPred.qlref Normal file
View File

@@ -0,0 +1 @@
queries/style/FieldOnlyUsedInCharPred.ql