TransferFunction returns a PlainFF which describes the change of a lattice.Valuer caused by node

Node returns the node of the transition

Equal returns true if the function and the entry lattice of two value contextes are equal

String returns a readable string of the value

GetIn returns the entry lattice of a value context

Equal returns true if lv1 == lv2

Context returns the context of the caller

Building Lattices with the Mocks L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both}

LeastUpperBound returns the the lub of lv1 and lv2

Error returns a string of all flows beeing in e.

GetVal returns the abstract value of key of the lattice

DeepCopy returns a deep copy of the lattice

SetVal sets key to val in the lattice

For all testdata checks a) returned value is of Type errInFlow (we are expecting flows) b) the number of reported flows is equal to the expected numbe

L2: {t1 -> Tainted, t2 -> Untainted, t3 -> Empty, t4 -> Untainted}

Context returns the valueContext of c

Node returns the ssa.Instruction of c

EntryValue returns the entryValue lattice of a valueContext

Initializations

GetVal returns the value of key from the lattice. Empty will be returned if the key is not in the lattice. In such a case we set manually the value of

GreatestLowerBound returns the the glb of lv1 and lv2

GetFirstCCS returns the first contextCallsite.

L3: {t2 -> Empty, t3 -> Empty, t5 -> Tainted}

ExitValue returns the exitValue lattice of a valueContext

getTaintLattice returns the Lattice instance of an Latticer instance Support Lattice and LatticePointer For other instances of Latticer, the function

AddData adds a new element to the end of l.

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

IsInterface returns true if t contains the signature of an interface and not of an concrete type

SetIn updates the entry lattice of a value context with l

GetFunction returns the function of a value context

GetLat returns an instance of Latticer

Len returns the lenogth of the worklist

Method returns the ssa.Function of a valueContext

checkNoChangeL1 checks whether l is equal to getLatticeMock1() L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both}

Add adds a new contextCallsite to the list Does not update the position of a contextcallsite which is already in the list,

GetOut returns the out lattice of context c

SetOut sets l to the output lattice for c. new_out = LUP(old_out, l) TODO: handle the error.

L4: {t2 -> Tainted, t3 -> Untainted, t5 -> Both}

updateEntryContext updates the in lattice of n with the idoms of n.node

GetValueContext returns a new value context, if the context is not known already. If the context is already known, the function returns the known cont

Greater returns true if lv1 > lv2

Less returns true if lv1 < lv2

NewContextCallSite creates a new contextcallsite. context is the wanted value context node is the ssa.Instruction for the contextcallsite The in and o

NumberOfFlows returns the number of taint.ErrLeaks in ErrInFlows

SameID compares the id of v against the id of v2 and return true if v1.id == v2.id

flow handles the flow of a node Distinguishes between a normal call and a method call which enforces a change of the context.

AddData adds a new element to the end of l.

CheckAndHandleChange checks whether a value context has changed. In the case the value context has changed, it will add the successory of n's node to

DeepCopy copies l1 and returns a new lattice.

Equal compares l1 against l2 on equality. Throws an error if l2 is not of type taint.Lattice.

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

GetPtr returns the pointer.Pointer for the key

GetPTrs returns a map of all variables and the corresponding pointer

Greater returns tlv > lv. Returns an error if lv is not type taint.Value.

GreaterEqual returns true if lv1 >= lv2

IsPointerVal checks whether the value is a pointer value and in the positive case it returns the ssa.Value For some instructions like a *ssa.Call it i

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

LessEqual returns true if lv1 <= lv2

RemoveFirst returns the first contextcallsite of the worklit and removes it from the list.

Test a pointer as parameter

checks whether the node of c is a return. If the node is a return statement: - update the exit lattice of the context - if the exit lattice has change

Sink is a sink