Predicate modelCoverage
Holds if CSV framework coverage of namespace is n api endpoints of the
kind (kind, part).
Import path
import semmle.code.cpp.dataflow.ExternalFlowHolds if CSV framework coverage of namespace is n api endpoints of the
kind (kind, part).
import semmle.code.cpp.dataflow.ExternalFlow