Update CHANGES

Update changes for geomPTS.
Rroscha · Oct 18, 2013 · cdcbce0 · cdcbce0
1 parent 9bf0c1f
commit cdcbce0
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/CHANGES b/CHANGES
@@ -31,7 +31,12 @@ Improvements and API changes in HEAD
 
 8. Soot now support Java 7 source-code syntax. 
 
-9. Improves the geometric encoding points-to solver. Bug fixes for processing the functions with more than 2^63 contexts. Performance is significantly improved. It is now scalable to analyze DaCapo-2006 with JDK1.6 within 9 minutes for the largest program. Precision is slightly better due to new fake information filtering algorithm. Code is refactored to be more readable. 
+9. Improves the geometric encoding points-to solver. 
+   Bug fixes for processing the functions with more than 2^63 contexts.
+   New querying interface is added specially for retrieving context-sensitive points-to information.
+   Performance is significantly improved. Now it can analyze DaCapo-2006 with JDK1.6. 
+   Precision is slightly better due to new fake information filtering algorithm. 
+   Code is refactored to be more readable.
 
 10. Added support for plugins. This way it is possible to integrate new
     analysis without modifying Soot.