Value represents a taint Value

ContextCallSite is a data structure which holds a value context, a ssa.Instruction and the in and out lattice for this node.

Data is holds the signature and the callee of a source or sink.

ErrInFlows holds several ErrInFlow errors.

ErrInFlow is an error type which holds an information flow. It can be used to report flows from sources to sinks to the user.

Lattice is data structure (map) which maps a ssa.Value to the abstract value. ssa.Value is an interface -> no pointer needed because it's already a po

LatticePointer is an instance of Pter and extends Lattice with pointer information

Latticer describes the lattice interface. A lattice contains ssa.Values which points to a Valuer

* Simple implementation of a linked List */ LinkedList is a simple type which provides some operations upon a linked list

* Simple implementation of a linked List */ LinkedList is a simple type which provides some operations upon a linked list

* Simple implementation of a linked List */ LinkedList is a simple type which provides some operations upon a linked list

PlainFF describes a plain flow function without any connection to an instruction.

Pter describes the methods a pointer lattice needs

Semanticer is an interface for a transfer function A transfer function describes the change in a Lattice caused by an expression. In our implementatio

T is a simple test struct

T is a struct with one element The elements in a struct are accesed via pointers

T is a simple test struct

T is a simple test struct

T is a simple test struct

T is a struct with two elements

Transition represents a transition from a value context to another value context. The transition is caused by a node which is a call in the context ca

ValueContext is a struct to identify a value context A value context consists of a call, the entry and exit lattice. Further a value context has a uni

Valuer defines the methods of a value inside a Latticer

VcIdentifier provides all the necessary methods to compare two value contexts

* TODO: * WlList sollte besser ein Interface definieren/implementieren. * Dann können wir hinterher evtl. besser auf go-Routinen umstellen. [stolz]

latticePointer holds the Lattice and the additional pointer information in the map p

sourcefiles is a flag type which handles multiple .go-Files

private struct for handling the variables Initializing must be done with the help of the public NewSsaHelper function

ssaValMock is a simple struct which implements all methods required for the interface ssa.Value. The functions return nil for complex types.