Chapter

Programming Languages and Systems

Volume 3780 of the series Lecture Notes in Computer Science pp 97-118

Using Datalog with Binary Decision Diagrams for Program Analysis

  • John WhaleyAffiliated withComputer Science Department, Stanford University
  • , Dzintars AvotsAffiliated withComputer Science Department, Stanford University
  • , Michael CarbinAffiliated withComputer Science Department, Stanford University
  • , Monica S. LamAffiliated withComputer Science Department, Stanford University

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose existing analyses. However, previous implementations of declarative languages perform poorly compared with traditional implementations. This paper describes bddbddb, a BDD-Based Deductive DataBase, which implements the declarative language Datalog with stratified negation, totally-ordered finite domains and comparison operators. bddbddb uses binary decision diagrams (BDDs) to efficiently represent large relations. BDD operations take time proportional to the size of the data structure, not the number of tuples in a relation, which leads to fast execution times. bddbddb is an effective tool for implementing a large class of program analyses. We show that a context-insensitive points-to analysis implemented with bddbddb is about twice as fast as a carefully hand-tuned version. The use of BDDs also allows us to solve heretofore unsolved problems, like context-sensitive pointer analysis for large programs.