taint

Sep 17, 2022

Changes in this version

type DummyRuler

+ func (r *DummyRuler) IsIntra(_f any) bool

+ func (r *DummyRuler) IsSink(_f any) bool

Sep 17, 2022

Changes in this version

+ func PersistTaintGraph(edges *map[string]*Edge, dst string) error

+ type PassThrough struct

+ Names []string

+ Params []*TaintWrapper

+ Recv *TaintWrapper

+ Results []*TaintWrapper

+ func NewPassThrough(names []string, recv bool, result int, param int) *PassThrough

+ func (p *PassThrough) HasRecv() bool

+ func (p *PassThrough) ParamName(i int) string

+ func (p *PassThrough) ParamNum() int

+ func (p *PassThrough) RecvName() string

+ func (p *PassThrough) ResultNum() int

+ func (p *PassThrough) ToCache() *PassThroughCache

+ type PassThroughCache struct

+ Params [][]int

+ Recv []int

+ Results [][]int

+ func NewPassThroughCache(recv bool, result int, param int) *PassThroughCache

+ func (c *PassThroughCache) HasRecv() bool

+ func (c *PassThroughCache) ParamNum() int

+ func (c *PassThroughCache) ResultNum() int

type TaintConfig

+ CallStack *list.List

+ UsePointerAnalysis bool

Sep 16, 2022

Changes in this version

+ type NoMainPkgError struct

+ func (e *NoMainPkgError) Error() string

type Runner

+ TaintGraphDstPath string

+ UsePointerAnalysis bool

type TaintConfig

+ TaintGraph *TaintGraph

+ type TaintGraph struct

+ Edges *map[string]*Edge

+ Nodes *map[string]*Node

+ func NewTaintGraph(allFuncs *map[*ssa.Function]bool, ruler rule.Ruler) *TaintGraph

Sep 12, 2022

Changes in this version

type DummyRuler

+ func NewDummyRuler(moduleName string) *DummyRuler

+ func (r *DummyRuler) IsSource(_f any) bool

Sep 12, 2022

Changes in this version

type Node

+ Function *ssa.Function

type Runner

+ PassBack bool

type TaintConfig

+ PassBack bool

Sep 12, 2022

Changes in this version

+ func GetTaint(flow *map[any]any, name string) *map[string]bool

+ func MergeTaintWrapper(inout *map[any]any, in *map[any]any, name string)

+ func PassTaint(flow *map[any]any, dst string, src ...string)

+ func SetTaint(flow *map[any]any, name string, taints ...string)

type Runner

+ TargetFunc string

type TaintConfig

+ TargetFunc string

+ type TaintWrapper struct

+ func GetTaintWrapper(flow *map[any]any, name string) *TaintWrapper

+ func NewTaintWrapper(taints ...string) *TaintWrapper

+ func SetTaintWrapper(flow *map[any]any, name string, wrapper *TaintWrapper) *TaintWrapper

+ func (w *TaintWrapper) AddTaint(taints ...string)

+ func (w *TaintWrapper) HasTaint(taint string) bool

+ func (w *TaintWrapper) InheritTaint(flow *map[any]any, name string)

Sep 11, 2022

Changes in this version

+ func PersistToNeo4j(nodes *map[string]*Node, edges *map[string]*Edge, uri string, username string, ...)

type Runner

+ Neo4jPassword string

+ Neo4jURI string

+ Neo4jUsername string

+ PersistToNeo4j bool

Sep 9, 2022

Changes in this version

+ const PrintBody

+ const Store

+ var Gostd = []string

+ func FetchPassThrough(passThroughContainer *map[string][][]int, src string) error

+ func PersistCallGraph(edges *map[string]*Edge, dst string) error

+ func PersistPassThrough(passThroughContainer *map[string][][]int, dst string) error

+ func Run(f *ssa.Function, c *TaintConfig)

+ type CallGraph struct

+ Edges *map[string]*Edge

+ Nodes *map[string]*Node

+ func NewCallGraph(allFuncs *map[*ssa.Function]bool, ruler rule.Ruler) *CallGraph

+ type DummyRuler struct

+ type Edge struct

+ From string

+ FromIndex int

+ To string

+ ToIndex int

+ ToIsMethod bool

+ ToIsSignature bool

+ ToIsSink bool

+ ToIsStatic bool

+ type Imethod struct

+ I *types.Interface

+ type InterfaceHierarchy struct

+ func NewInterfaceHierarchy(allFuncs *map[*ssa.Function]bool) *InterfaceHierarchy

+ func (i *InterfaceHierarchy) LookupFuncs(signature *types.Signature) []*ssa.Function

+ func (i *InterfaceHierarchy) LookupMethods(I *types.Interface, m *types.Func) []*ssa.Function

+ type Node struct

+ Canonical string

+ In []*Edge

+ Index int

+ IsIntra bool

+ IsMethod bool

+ IsSignature bool

+ IsSink bool

+ IsSource bool

+ IsStatic bool

+ Out []*Edge

+ type Runner struct

+ CallGraphDstPath string

+ Debug bool

+ InitOnly bool

+ ModuleName string

+ PassThroughDstPath string

+ PassThroughOnly bool

+ PassThroughSrcPath string

+ PkgPath []string

+ Ruler rule.Ruler

+ func NewRunner(PkgPath ...string) *Runner

+ func (r *Runner) Run() error

+ type TaintAnalysis struct

+ func New(g *graph.UnitGraph, c *TaintConfig) *TaintAnalysis

+ func (a *TaintAnalysis) Computations() int

+ func (a *TaintAnalysis) End(universe []*entry.Entry)

+ func (a *TaintAnalysis) FlowThrougth(inMap *map[any]any, unit ssa.Instruction, outMap *map[any]any)

+ func (a *TaintAnalysis) MergeInto(unit ssa.Instruction, inout *map[any]any, in *map[any]any)

+ func (a *TaintAnalysis) NewInitalFlow() *map[any]any

+ type TaintConfig struct

+ CallGraph *CallGraph

+ Debug bool

+ History *map[string]bool

+ InitMap *map[string]*ssa.Function

+ InterfaceHierarchy *InterfaceHierarchy

+ PassThroughContainer *map[string][][]int

+ PassThroughOnly bool

+ Ruler rule.Ruler

Sep 9, 2022

Changes in this version

+ type TaintSwitcher struct

+ func (s *TaintSwitcher) CaseAlloc(inst *ssa.Alloc)

+ func (s *TaintSwitcher) CaseBinOp(inst *ssa.BinOp)

+ func (s *TaintSwitcher) CaseCall(inst *ssa.Call)

+ func (s *TaintSwitcher) CaseChangeInterface(inst *ssa.ChangeInterface)

+ func (s *TaintSwitcher) CaseChangeType(inst *ssa.ChangeType)

+ func (s *TaintSwitcher) CaseConvert(inst *ssa.Convert)

+ func (s *TaintSwitcher) CaseExtract(inst *ssa.Extract)

+ func (s *TaintSwitcher) CaseField(inst *ssa.Field)

+ func (s *TaintSwitcher) CaseFieldAddr(inst *ssa.FieldAddr)

+ func (s *TaintSwitcher) CaseIndex(inst *ssa.Index)

+ func (s *TaintSwitcher) CaseIndexAddr(inst *ssa.IndexAddr)

+ func (s *TaintSwitcher) CaseLookup(inst *ssa.Lookup)

+ func (s *TaintSwitcher) CaseMakeChan(inst *ssa.MakeChan)

+ func (s *TaintSwitcher) CaseMakeClosure(inst *ssa.MakeClosure)

+ func (s *TaintSwitcher) CaseMakeInterface(inst *ssa.MakeInterface)

+ func (s *TaintSwitcher) CaseMakeMap(inst *ssa.MakeMap)

+ func (s *TaintSwitcher) CaseMakeSlice(inst *ssa.MakeSlice)

+ func (s *TaintSwitcher) CaseMapUpdate(inst *ssa.MapUpdate)

+ func (s *TaintSwitcher) CaseNext(inst *ssa.Next)

+ func (s *TaintSwitcher) CasePhi(inst *ssa.Phi)

+ func (s *TaintSwitcher) CaseRange(inst *ssa.Range)

+ func (s *TaintSwitcher) CaseReturn(inst *ssa.Return)

+ func (s *TaintSwitcher) CaseSelect(inst *ssa.Select)

+ func (s *TaintSwitcher) CaseSend(inst *ssa.Send)

+ func (s *TaintSwitcher) CaseSlice(inst *ssa.Slice)

+ func (s *TaintSwitcher) CaseStore(inst *ssa.Store)

+ func (s *TaintSwitcher) CaseTypeAssert(inst *ssa.TypeAssert)

+ func (s *TaintSwitcher) CaseUnOp(inst *ssa.UnOp)