convert jnlp to unix format
let webstart launchers check *always* for updates
more non-stupid way of getting an IFCType out of a string
bugfix: annotate SDG first and initialize IFC checker afterwards - there are IFC checker which assume an annotated SDG
add possibility to configure conflict scanner in ProbabilisticNIChecker; remove faulty setter
sort output of security violations
return most concrete covering program part (e.g. a read access to a certain attribute is more concrete than the attribute)
check for possible conflicts whether conflicting nodes may happen in parallel
record symmetric conflicts only once
adapt the test case to fewer leaks (duplicates were removed)
Comparator for JavaMethodSignature based on the bytecode notation strings
- externalize the class which compare SDGProgramParts by concreteness
- let IFCAnnotationApplicator return either a program part which has been
annotated or the most concrete program part which covers the given node, whichever is more concrete (e.g. if the node represents a read access to an annotated attribute, then the read access shall be returned)
- bugfix: if there is no program part covering some node, then there is also not a most concrete one (--> return null)
do not fail whole build process if <console>/version.id is not present