Module ModelValidation
Provides classes and predicates related to validating models-as-data rows.
Import path
import codeql.mad.ModelValidationModules
| KindValidation | Provides validation for models-as-data summary, sink, source, and neutral kinds. |
Module signatures
| KindValidationConfigSig | Provides predicates for determining if a model exists for a given |