Predicate SummaryComponentStack :: fieldOf
Gets a stack representing a field f
of object
.
Import path
import semmle.code.java.dataflow.FlowSummary
SummaryComponentStack
fieldOf
(
Field
f
,
SummaryComponentStack
object
)