propagation

Documentation

Overview

Package propagation implements the core taint propagation analysis that can be used to determine what ssa Nodes are tainted if a given Node is a source.

Index

• type Propagation
  • func Taint(n ssa.Node, conf *config.Config, taggedFields fieldtags.ResultType) Propagation
  • func (prop Propagation) IsTainted(instr ssa.Instruction) bool

Types

type Propagation

type Propagation struct {
	// contains filtered or unexported fields
}

Propagation represents the information that is used by, and collected during, a taint propagation analysis.

func Taint

func Taint(n ssa.Node, conf *config.Config, taggedFields fieldtags.ResultType) Propagation

Taint performs a depth-first search of the graph formed by SSA Referrers and Operands relationships, beginning at the given root node.

func (Propagation) IsTainted

func (prop Propagation) IsTainted(instr ssa.Instruction) bool

IsTainted determines whether an instruction is tainted by the Propagation.