Bddbddb: Using Datalog and BDDs for Program Analysis John Whaley Stanford University and moka5 Inc. June 11, 2006.
