Predicate SummaryComponent :: field
Gets a summary component for field f.
Import path
import semmle.code.java.dataflow.FlowSummary
SummaryComponent
field
(
Field
f
)