CodeQL library for Java/Kotlin
codeql/java-all 0.9.0 (changelog, source)
Search

Module ModelValidation

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

Import path

import semmle.code.java.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.