Predicate CsvValidation::invalidModelRow
Holds if some row in a CSV-based flow model appears to contain typos.
Import path
import semmle.code.cpp.dataflow.ExternalFlowpredicate invalidModelRow(string msg)Holds if some row in a CSV-based flow model appears to contain typos.
import semmle.code.cpp.dataflow.ExternalFlowpredicate invalidModelRow(string msg)