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

Predicate IR::implicitDerefInstruction

Gets the implicit dereference instruction for e, where e is a pointer used as the base in a field/method access, element access, or slice expression.

Import path

import semmle.go.controlflow.IR
EvalImplicitDerefInstruction implicitDerefInstruction(Expr e)