mirror of
https://github.com/github/codeql.git
synced 2026-08-03 17:03:02 +02:00
23 lines
724 B
Plaintext
23 lines
724 B
Plaintext
import java
|
|
import semmle.code.java.controlflow.Dominance
|
|
|
|
/**
|
|
* Represents a path from `entry` to `node` that doesn't go through `dom`. If
|
|
* `entry` is the entry node for the CFG then this shows that `dom` does not
|
|
* dominate `node`.
|
|
*/
|
|
predicate dominanceCounterExample(ControlFlowNode entry, ControlFlowNode dom, ControlFlowNode node) {
|
|
node = entry
|
|
or
|
|
exists(ControlFlowNode mid |
|
|
dominanceCounterExample(entry, dom, mid) and mid != dom and mid.getASuccessor() = node
|
|
)
|
|
}
|
|
|
|
from Callable c, ControlFlowNode dom, ControlFlowNode node
|
|
where
|
|
strictlyDominates(dom, node) and
|
|
dominanceCounterExample(any(ControlFlow::EntryNode entry | entry.getEnclosingCallable() = c), dom,
|
|
node)
|
|
select c, dom, node
|