propagation

package
v1.0.0 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jul 13, 2021 License: Apache-2.0 Imports: 10 Imported by: 0

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

Constants

This section is empty.

Variables

This section is empty.

Functions

This section is empty.

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.

Directories

Path Synopsis
Package summary provides function summaries for a range of standard library functions that could be involved in a taint propagation.
Package summary provides function summaries for a range of standard library functions that could be involved in a taint propagation.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL