fixed repo-urls in soot.psf
some code refactoring
refactored interactive information flow handling;
replaced the expensive TreeSet with a BitSet
replaced internal list with array
introduced generics
improved answer intersection and live-local test
eyecandy for sourcecode
Merge remote-tracking branch 'upstream/develop' into develop
fix for #160 - check for duplicate annotation types must not fail if we have no ID for the type yet. In this case, we just compare the strings.
changed return value of getParameterRefs to List<Value>; this is because most clients will probably use these them just as values but would otherwise not be able to assign a List<ParameterRef> to a List<Value>
Merge commit '8d24e077f3b3619791ed2ec994a9c442be7899f5' into develop
minor modifications
Merge remote-tracking branch 'upstream/develop' into develop
factored out abstract super class of JimpleBasedICFG; started work on on-the-fly implementation
made LocalMustNotAliasAnalysis use generic types
added method concreteType
added constructor
pulled out another method into superclass
specialized return type
progress on on-the-fly ICFG