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

Predicate IR::implicitMaxSliceBoundInstruction

Gets the instruction corresponding to the implicit maximum bound of slice e, if any.

Import path

import semmle.go.controlflow.IR
EvalImplicitMaxSliceBoundInstruction implicitMaxSliceBoundInstruction(SliceExpr e)