codeql/cpp-all
1.4.1
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if a summary model exists for the given parameters.
import semmle.code.cpp.dataflow.ExternalFlow
predicate summaryModel(string namespace, string type, boolean subtypes, string name, string signature, string ext, string input, string output, string kind, string provenance, string model)