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.DataFlowImplpredicate 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.DataFlowImplpredicate revFlowIsReadAndStored(Content c)