Files
codeql/java/ql/test/library-tests/controlflow/paths/paths.ql
Owen Mansel-Chan 0f3dd6d8f1 Java: IPA the CFG
2024-12-10 15:26:11 +00:00

15 lines
357 B
Plaintext

import java
import semmle.code.java.controlflow.Paths
class PathTestConf extends ActionConfiguration {
PathTestConf() { this = "PathTestConf" }
override predicate isAction(ControlFlowNode node) {
node.asExpr().(MethodCall).getMethod().hasName("action")
}
}
from Callable c, PathTestConf conf
where conf.callableAlwaysPerformsAction(c)
select c