CodeQL library for C/C++
codeql/cpp-all 2.1.1-dev (changelog, source)
Search

Predicate sourceModel

Holds if a source model exists for the given parameters.

Import path

import semmle.code.cpp.dataflow.ExternalFlow
predicate sourceModel(string namespace, string type, boolean subtypes, string name, string signature, string ext, string output, string kind, string provenance, string model)