AddSucc adds all sccessors of n to the worklist

BottomElement returns the bottom element of a lattice value

BottomLattice returns the lowest lattice

DoAnalysis handles the worklist algorithm. path is the relative path starting from $GOPATH sourcefiles are the source file which should be analyzed. s

Empty returns true if no element is remaining in the worklist.

Equal returns tlv == lv. Returns an error (ErrOnlyTaintValueAcc) if lv is not a taint.Value.

GetData returns the string in position i or an empty string if i does not exist

GetID returns the id of a valuecontext

GetIn returns the in lattice of context c

Greater computes: l1 > l2. Throws an error if t2 is not of type taint.Lattice.

GreaterEqual returns tlv >= lv. Returns an error if lv is not of type taint.Value.

INEqual tests whether the entry Lattice of two value contexts are equal params are the parameter for the function which creates v. v2 is an arbitrary

IsIndirectPtr checks whether the value is an indirect pointer value In the positive case the function returns the ssa.Value.

LeastElement returns the least element (_|_)

LeastElement returns a Lattice in which each element of l1 is set to the lowest abstract value of Valuer being Empty

LeastUpperBound returns the lub of two lattices

Less computes whether l1 is less than l2. Throws an error if l2 is not of type taint.Lattice.

LessEqual returns tlv <= lv. Returns an error (ErrOnlyTaintValueAcc) if lv is not a taint.Value.

NewErrInFlow returns a error of type ErrInFlow.

NewExitValue updated the exitValue of v with a least upper bound with ev.

NewLattice returns a new lattice with length len.

NewList creates a new linked list with s as first element.

NewList creates a new linked list with s as first element.

NewTransition returns a Transition. context is the valuecontext of the "start" node. callSite is the ssa.Function which "goes" to the other context. t

NewWlList returns a new worklist

Read the file with the sources and sinks

SetIN sets the in value for a new value context. params are the parameters of the functions and only those will be added to the entry lattice. l is th

TopElement returns the top element of a lattice value

addQueries addbuild queries for all functions of the packages

checkChange checks whether the input lattice of n is equal to the output lattice of n returns true if the context has changed, false if it has not cha

checkReturn returns true if c's node is a *ssa.Return statement.

helper function

fincChannels finds for all channels the corresponding call instructions

getIdomsBlocks returns a slice of basic blocks which idoms(dominates) b. The parameter b should be the first idom of the block the caller is intereste

getSuccessors returns the directly successors of i. When i is not the last instruction of a basic block b only the next instruction of b is returned.

for all edges <X', c> -> X return c in a slice

handleChange adds the successors of n's node to the worklist.

handleReturn updates the exit lattice of the contextes and adds the contexts to the worklist which has a transfer to the node.

An analysis state for the main function will be created. The context gets a value context for the main function. The entry and exit value is a empty l

Returns true if the node is the entry node of the function

matchParams match the params of the caller to the values used from the callee A function (callee) has a field Params which offers the params. matchPar

Match statement tries to match the return values of the calle to the returned values of the caller

newValueContext initialize a new value context

Returns a slice with the predeccessors of instruction n

RemoveFirstCCS removes the first ContextCallSite from the list

returnLUPTaint is similar to returnLUP. In contrast to returnLUP, returnLUPTaint can handle error messages. An information flow is packed into the Err

Logging

setPtrMap sets once the map for all functions which are available for the analysis

setupPTA creates the config type for a pointer analysis.