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