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.ExternalFlowHolds if MaD framework coverage of namespace is n api endpoints of the
kind (kind, part).
import semmle.code.csharp.dataflow.ExternalFlow