add a method in SecurityNode to retrieve the security level if the node is a source or a sink
new method for LatticeUtil to determine 'is-lower-than-or-equal-to'-relation between two elements
SecurityNode: provide a shortcut method which returns whether the node is an information source or an information sink
externalize SDGAnalyzer (lightweight approach for finding nodes in an sdg)
adapt joana to latest wala version
Merge branch 'master' of ssh://ssh.info.uni-karlsruhe.de/ben/local/GIT/joana into devel-master
add a maybe type to utilities
fix faulty comment in SecurityNodeTuple
rename Violation -> ClassifiedViolation, Conflict -> ClassifiedConflict
add other changes to make code compile - will be enhanced later
let SDGAnalyzer also annotate nodes, which may influence the this-pointer of calls
let eclipse plugin use the simple check of the probabilistic ni-checker and not the complicated one (seems not to make much of a difference...)
quickfix in IllictFlow: the routine which looks for the right program part assumes that the given SDG node is not null - which does not have to be the case
improve ConflictScanner interface - conflicts can be retrieved by kind now, without the need to downcast
alternative implementation of Giffhorn's LSOD slicer (the part which just checks for conflicts) where the unverified optimization can be deactivated
some more test programs - partly unfinished
test for probabilistic ni-checker
fix errors involving DataConflict and OrderConflict
IFCAnalysis: fix typo
make chuck norris happy again