Predicate sourceModel

Holds if a source model exists for the given parameters.

Import path

import semmle.code.csharp.dataflow.ExternalFlowExtensions

predicate sourceModel(string namespace, string type, boolean subtypes, string name, string signature, string ext, string output, string kind, string provenance)