Predicate sourceModel
Holds if row is a source model.
Import path
import semmle.code.cpp.dataflow.ExternalFlowpredicate sourceModel(string row)Holds if row is a source model.
import semmle.code.cpp.dataflow.ExternalFlowpredicate sourceModel(string row)