import logback libraries and configuration file such that there is no logging output. at all.
also copy logback.xml into jars
add debug output to SlicingBasedIFC
reuse node collector of SDGProgram to find/annotate nodes (avoid expensive recomputation)
optimizations in SDGParameterUtils

* use depth-first search when collecting root parameters
* check for visited when next node is taken from worklist, not when nodes are to be added
to worklist
SlicingBasedIFC: dynamic selection of forward or backward slicer

If there more sinks than sources, use forward slicing because less slices need to be computed
use SlicingBasedIFC instead of PossibilisticNIChecker when checking classical non-interference
delete commented code
let method filter base its decision about object-sensitiveness also on the caller
make utility methods publicly available; add some functionality
add more nullness checks during the collection of covering program parts
fill proc2entry cache
do not cut-off-immutables by default (its buggy...)
use simple field propagation in IFC Console (optimized version has bugs) - will be changed as soon as optimized version is fixed
due to less merging, there was one test case where fewer violations were found
fix handling of constructors for immutable types
revert changes to default that are no longer needed
locate call node by just going one control dep edge backwards...

...every parameter node is connected to corresponding call node by control dep edge
introduction of external object to which the SDGBuilder passes intermediate information

the object receives the call graph and the points-to analysis result after call graph construction
has finished and does something useful with it
make ContextSelector for call graph construction configurable from API