Predicate ModelValidation::invalidModelRow
Holds if some row in a MaD flow model appears to contain typos.
Import path
import semmle.code.java.dataflow.ExternalFlowpredicate invalidModelRow(string msg)Holds if some row in a MaD flow model appears to contain typos.
import semmle.code.java.dataflow.ExternalFlowpredicate invalidModelRow(string msg)