Predicate neutralModel
Holds if a model exists indicating there is no flow for the given parameters.
Import path
import semmle.code.csharp.dataflow.ExternalFlowExtensions
Holds if a model exists indicating there is no flow for the given parameters.
import semmle.code.csharp.dataflow.ExternalFlowExtensions