Module signature KindValidationConfigSig
Provides predicates for determining if a model exists for a given kind.
Import path
import codeql.mad.ModelValidationPredicates
| neutralKind | Holds if a neutral model exists for the given |
| sinkKind | Holds if a sink model exists for the given |
| sourceKind | Holds if a source model exists for the given |
| summaryKind | Holds if a summary model exists for the given |