mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
10 lines
318 B
Plaintext
10 lines
318 B
Plaintext
import java
|
|
import semmle.code.java.controlflow.Guards
|
|
|
|
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
|