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