Searching for "Points-to analysis using BDDs." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Points-to Analysis using BDDs
- …ABSTRACT Points-to Analysis using BDDs ∗ Marc Berndl, Ondˇrej Lhoták, Feng Qian, Laurie Hendren…
- Cited by 49 (2 self) – Add To MetaCart
-
Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams
- … and algorithms. Scalable cloning-based context-sensitive points-to analysis using BDDs. The algorithm we have…
- Cited by 133 (12 self) – Add To MetaCart
-
Pointer Analysis -- A Survey
- …’s function. 6 Pointer analysis using BDDs This is based on the paper “Points-to Analysis using BDDs” [4] from…
- Add To MetaCart
-
Relational Programming with CrocoPat
- …, F. Qian, L. J. Hendren, and N. Umanee. Points-to analysis using BDDs. In Proc. PLDI, pages 103…
- Cited by 8 (0 self) – Add To MetaCart
Showing 1 through 4.
