Module ModelValidation

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

Import path

import semmle.code.java.dataflow.ExternalFlow

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

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 `Argument[1]` or `ReturnValue`, appearing in one or more access paths.