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

Java: Adjust BasicBlock-based qltests.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2026-02-10 14:33:50 +01:00
parent 7871cd74f6
commit 12b9999289
10 changed files with 58 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/ql/test/library-tests/guards/guards.ql
View File

@@ -1,8 +1,9 @@
import java
import semmle.code.java.controlflow.Guards
import utils.test.BasicBlock
from ConditionBlock cb, boolean testIsTrue, BasicBlock controlled
where
cb.controls(controlled, testIsTrue) and
cb.getEnclosingCallable().getDeclaringType().hasName("Test")
select cb.getCondition(), testIsTrue, controlled
select cb.getCondition(), testIsTrue, getFirstAstNode(controlled)

3
java/ql/test/library-tests/guards/guardslogic.ql
View File

@@ -1,9 +1,10 @@
import java
import semmle.code.java.controlflow.Guards
import utils.test.BasicBlock
from Guard g, BasicBlock bb, GuardValue gv
where
g.valueControls(bb, gv) and
g.getEnclosingCallable().getDeclaringType().hasName("Logic") and
(exists(gv.asBooleanValue()) or gv.isThrowsException() or gv.getDualValue().isThrowsException())
select g, gv, bb
select g, gv, getFirstAstNode(bb)

3
java/ql/test/library-tests/guards/guardspreconditions.ql
View File

@@ -1,9 +1,10 @@
import java
import semmle.code.java.controlflow.Guards
import utils.test.BasicBlock
from Guard g, BasicBlock bb, GuardValue gv
where
g.valueControls(bb, gv) and
g.getEnclosingCallable().getDeclaringType().hasName("Preconditions") and
(gv.isThrowsException() or gv.getDualValue().isThrowsException())
select g, gv, bb
select g, gv, getFirstAstNode(bb)