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

Predicate Make::Private::Steps::prohibitsUseUseFlow

Holds if use-use flow starting from arg should be prohibited.

This is the case when arg is the argument of a call that targets a flow summary where the corresponding parameter either clears contents or expects contents.

Import path

import codeql.dataflow.internal.FlowSummaryImpl
predicate prohibitsUseUseFlow(ArgNode arg, SummarizedCallable sc)