CodeQL library for Java
codeql/java-all 0.4.4 (changelog, source)
Search

Member predicate ActionConfiguration::callAlwaysPerformsAction

Holds if every path through call goes through at least one action node.

predicate callAlwaysPerformsAction(Call call)