Sink is a sink

Source returns a tainted string

Source returns a tainted string

copied from 10_FuncAndVarDecl no guaranty for equality

AddData adds a new element to the end of l.

BottomElement returns the lowest element of the lattice.

BottomLattice sets for all elements of the lattice the value to empty.

Build returns the main package for given sourcefiles.

Equal returns true if l1 == l2

Equal tests whether two context callsites are equal

Equal tests whether two transitions are equal

Equal returns true if the both vale contextes are equal. Comparision is based upon the method, the Lattices and the id.

Greater returns true if l1 > l2

GreaterEqual returns true if l1 >= l2

GreaterEqual computes: l1 >= l2

GreatestLowerBound returns the glb of two lattices

GreatestLowerBound computes the greatest lower bound of two lattices. In the current implementation an error (ErrOnlyTaintLatAcc) will be returned if

GreatestLowerBound build the greatest lower bound of tlv and lv. Returns an error (ErrOnlyTaintValueAcc) if lv is not a taint.Value.

LUPOverLabels iterates through all labels of a pointsToSet and returns the result of the LUP.

LeastUpperBound creates the leastUpperBound of two Lattices. In the current implementation an error (ErrOnlyTaintLatAcc) will be returned if l2 is not

LeastUpperBound build the least upper bound of tlv and lv. Returns an error (ErrOnlyTaintLatAcc) if lv is not a taint.Value.

Less returns true if l1 < l2

LessEqual returns true if l1 <= l2

LessEqual computes: l1 <= l2. Throws an error if t2 is not of type taint.Lattice.

NewEntryValue updates the entryValue of v with a least upper bound with ev.

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

ReplaceSend replaces the ssa.Send with the Send implemented in this package

Set is part of the flag.Value interface and set the flag value Only files with suffix .go are allowed.

SetFunction sets the function of a value context to f

SetIn sets l to the input lattice for c. new_in = LUP(old_in, l) TODO: handle the error.

SetIn sets the in lattice to l TODO implement update

SetPtr sets the ptr as the pointer for the key

SetVal sets the lattice value of key to value.

Sink is a sink

Source returns a tainted string

String is part of the flag.Value interface The output will be used in diagnostics

String returns a readable string of the lattice

String returns a string representation of l1.

String returns a string representation of tlv.