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

Predicate negativeSummaryModel

Holds if a summary model exists indicating there is no flow for the given parameters.

Import path

import semmle.code.java.dataflow.ExternalFlow
predicate negativeSummaryModel(string namespace, string type, string name, string signature, string provenance)