Binary Decision Diagrams (BDDs) have been shown to be a very ... In this work, we formulate and employ BDDs to represent points-to sets in flow-sensitive points-to analysis for Java programs. Our ...