codeql/cpp-all
0.13.0
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)