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.
Merge https://github.com/Sable/soot
Bug fix in method heap_sensitive_intersection.
Improved query interface efficiency and readability.
Merge https://github.com/Sable/soot
Bug corrected.
Release beta 2.
Refactoring for better code structure.
Change a default behavior: update Soot call graph and rechable methods after geomPTA.
Merge branch 'develop' of https://github.com/Sable/soot
Moving parameters to the same places.
Add new module: demand driven analysis.
Bug fix: constraints should be all kept active every before DD query.
Fix several bugs.
Change several function signatures.
1. Remove the files that are inapproriate to be included in Soot.
2. Adds multiple interface calls to call graph refinement targets.