Context-sensitive Pointer Analysis Using Binary Decision Diagrams a Dissertation Submitted to the Department of Computer Science and the Committee on Graduate Studies of Stanford University in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy

@inproceedings{Whaley2007ContextsensitivePA,
  title={Context-sensitive Pointer Analysis Using Binary Decision Diagrams a Dissertation Submitted to the Department of Computer Science and the Committee on Graduate Studies of Stanford University in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy},
  author={John Whaley},
  year={2007}
}
This thesis shows that whole-program context-sensitive inclusion-based pointer analysis, a previously intractable problem, can be efficiently solved using binary decision diagrams. In addition, we show that it is possible to automatically translate from a high-level analysis specification written in Datalog into an efficient implementation using binary decision diagrams. We present the first scalable context-sensitive, inclusion-based pointer analysis for Java programs. Our approach to context… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 255 references

CUDD: CU decision diagram package release

  • Fabio Somenzi
  • 1998
Highly Influential
5 Excerpts

BuDDy, a binary decision diagram package

  • Jörn Lind-Nielsen
  • http://www. itu.dk/research/buddy/,
  • 2004
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…