sanitizer

Documentation

Overview

Package sanitizer contains the logic responsible for determining whether sources are sanitized before they are being sent to sinks.

Index

• type Sanitizer
  • func (s Sanitizer) Dominates(target ssa.Instruction) bool

Types

type Sanitizer

type Sanitizer struct {
	// Call is the underlying call that performs sanitization
	Call *ssa.Call
}

Sanitizer removes the taint.

func (Sanitizer) Dominates

func (s Sanitizer) Dominates(target ssa.Instruction) bool

Dominates returns true if the Sanitizer dominates the supplied instruction. In the context of SSA, domination implies that if instructions X executes and X dominates Y, then Y is guaranteed to execute and to be executed after X.