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

Class Afero::AdditionalTaintStep

Holds if there is a dataflow node from n1 to n2 when initializing the Afero instance

A helper for aferoSanitizer for when the Afero instance is initialized with one of the safe FS types like IOFS

e.g.n2 := &afero.Afero{Fs: afero.NewBasePathFs(osFS, "./")} n1 is afero.NewBasePathFs(osFS, "./")

Import path

import semmle.go.frameworks.Afero

Direct supertypes

Indirect supertypes

Predicates

step

Holds if the step from node1 to node2 should be considered a taint step for all configurations.

Inherited predicates

toString

Gets a textual representation of this element.

from Unit