mirror of
https://github.com/github/codeql.git
synced 2026-08-06 02:13:10 +02:00
10 lines
270 B
Plaintext
10 lines
270 B
Plaintext
import java
|
|
import semmle.code.java.controlflow.Dominance
|
|
|
|
from IfStmt i, BlockStmt b
|
|
where
|
|
b = i.getThen() and
|
|
dominates(i.getThen().getControlFlowNode(), b.getControlFlowNode()) and
|
|
dominates(i.getElse().getControlFlowNode(), b.getControlFlowNode())
|
|
select i, b
|