Module ModelValidation
Provides a query predicate to check the MaD models for validation errors.
Import path
import semmle.code.java.dataflow.ExternalFlow
Predicates
| invalidModelRow |
Holds if some row in a MaD flow model appears to contain typos. |