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

Predicate modelCoverage

Holds if MaD framework coverage of namespace is n api endpoints of the kind (kind, part), and namespaces is the number of subnamespaces of namespace which have MaD framework coverage (including namespace itself).

Import path

import semmle.code.cpp.dataflow.ExternalFlow
predicate modelCoverage(string namespace, int namespaces, string kind, string part, int n)