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