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