CodeQL library for C#
codeql/csharp-all 0.5.2 (changelog, source)
Search

Module ModelValidation

Provides a query predicate to check the MaD models for validation errors.

Import path

import semmle.code.csharp.dataflow.ExternalFlow

Predicates

invalidModelRow

Holds if some row in a MaD flow model appears to contain typos.