Predicate interpretComponentSpecific
Gets the summary component for specification component c
, if any.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplSpecific
Gets the summary component for specification component c
, if any.
import semmle.code.csharp.dataflow.internal.FlowSummaryImplSpecific