CodeQL library for C#
codeql/csharp-all 0.5.2 (changelog, source)
Search

Predicate modelCoverage

Holds if MaD framework coverage of namespace is n api endpoints of the kind (kind, part).

Import path

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