Predicate MakeImpl::Impl::Stage1::revFlowIsReadAndStored
Holds if c
is the target of both a read and a store in the flow covered
by revFlow
.
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate revFlowIsReadAndStored(Content c)
Holds if c
is the target of both a read and a store in the flow covered
by revFlow
.
import codeql.dataflow.internal.DataFlowImpl
predicate revFlowIsReadAndStored(Content c)