CodeQL library for Java
codeql/java-all 0.7.4 ( 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.