Member predicate MustFlowConfiguration::allowInterproceduralFlow
Holds if this configuration allows flow from arguments to parameters.
predicate allowInterproceduralFlow()Holds if this configuration allows flow from arguments to parameters.
predicate allowInterproceduralFlow()