Chord is a static and dynamic program analysis framework for Java. It is:

• stand-alone: provides various off-the-shelf program analyses (e.g., may alias, thread escape, datarace, deadlock, etc.).

• extensible: allows users to build their own program analyses on top of the provided ones.

• compositional: enables different program analyses to coexist and interact with each other.

• efficient: caches results computed by each program analysis so that they can be reused by other program analyses without re-computation.

• flexible: allows each program analysis to be expressed either declaratively as a Datalog program or imperatively as a Java program.