Speedup querying.
Speedup again.
Improve querying efficiency again.
Fix a bug in obj_1cfa_extractor.
Add back VarNode.
Change back for VarNode.
But there is a bug for a long time.
Fix a bug in obj_1cfa_extractor.
Fix a bug in Obj_1cfa_extractor.
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
Merge https://github.com/Sable/soot
Bug fix in method heap_sensitive_intersection.
Improved query interface efficiency and readability.
Merge pull request #156 from dacongy/develop

Fixes issue #155
Added Body.getParameterLocals