Module ModelValidation
Provides a query predicate to check the MaD models for validation errors.
Import path
import semmle.go.dataflow.ExternalFlow
Predicates
invalidModelRow | Holds if some row in a MaD flow model appears to contain typos. |
Aliases
AccessPath | A string that occurs as an access path (either identifying or input/output spec) which might be relevant for this database. |
AccessPathToken | An access path token such as |