CodeQL library for Go
codeql/go-all 5.0.3 (changelog, source)
Search

Predicate MakeImpl::Impl::MkStage::Stage::storeStepCand

Holds if this stage makes use of a store step of content c from node1 to node2.

contentType and containerType are the types of the content being stored, and the type of the resulting container, respectively.

Import path

import codeql.dataflow.internal.DataFlowImpl
predicate storeStepCand(Nd node1, Content c, Nd node2, Type contentType, Type containerType)