CodeQL library for Go
codeql/go-all 2.1.3 (changelog, source)
Search

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