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

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

Gets a textual representation of this element.

from Unit