String returns a string representation of c.

String returns a readable string of a transition.

String returns a readable version of a value context

String returns a string reperesentation for v

TagerContext returns the context of the callee

A flow function to a allocation should return always untainted

* Test object 1: L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both} Result: deepcopy=l1.DeepCopy() == l1 Then add an element to object 1 A

expect: value context{function: mainfunction, init: empty, exit: empty}

expect: correct ssa instructions

* Test object 1: L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both} For all elements in L1 check whether the lattice value is as expected

expect: 0 elements in transitions

Test that: a) Execution of the starting program for the analysis works b) The help message contains the three flags (-path, -src, -ssf)

* Test object: File: ../../sourcesAndSinks.txt expect: 40 sources, 5 sinks and 6 source-interfaces, 0 sink-interfaces */

TODO teardown which deletes files if no error occurs

TestTlBottomElem tests whether the function LestElement works as expected. * test object: t1 -> Empty | t2 -> Tainted | t3 -> Untainted | t5 -> Both t

* Test object 1: L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both} Test object 2: L4: {t2 -> Tainted, t3 -> Untainted, t5 -> Both} Test ob

* Test object 1: L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both} Test object 2: L2: {t1 -> Tainted, t2 -> Untainted, t3 -> Empty, t4 -

* Test object 1: L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both} Test object 2: L2: {t1 -> Tainted, t2 -> Untainted, t3 -> Empty, t4 -

* test object 1: L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both} test object 2: L2: {t1 -> Tainted, t2 -> Untainted, t3 -> Empty, t4

TestTlLeastUpperBound tests whether the lup of two distinct lattices are build correctly * test object 1: t1 -> Empty | t2 -> Tainted | t3 -> Untainte

TestTlLeastUpperBoundEqualLattices tests whether the lup of two equal lattices is the same. * test object 1: t1 -> Empty | t2 -> Tainted | t3 -> Untai

* Test object 1: L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both} Test object 2: L2: {t1 -> Tainted, t2 -> Untainted, t3 -> Empty, t4 -

* Test object 1: L1: {t1 -> Empty, t2 -> Tainted, t3 -> Untainted, t5 -> Both} Test object 2: L4: {t2 -> Tainted, t3 -> Untainted, t5 -> Both} Test

TopElement returns the highest element of the lattice.

Semanticer interface

TransferFunction handels a normal transfer of an instruction. Returns nil if an error occurs.

UpdateOut update the exit lattice of v with the lup of the current value and l.

build lup of l1 and l2 and returns a taint.Lattice

findInContext tries to find a context for callee and lin. If a context is found: this will be returned. If an error occurs while checking: the error w