Light context-sensitive points-to analysis for java
Ana Milanova · 2007
We design a new context-sensitive points-to analysis for Java thattargets key object-oriented features such as inheritance and encapsulation, and improves precision over the Andersen-style context-insensitive analysis. At the same time, it has cubic worst-case complexity, thus giving precision improvement for free.