Chord: A Program Analysis Platform for Java
Recent News
- 04 Jun, 2011: slides from PLDI'11 tutorial on Chord are available here.
- 14 Mar, 2011: Chord 2.0 is now available [source release] [binary release] along with an updated user guide.
- 01 Mar, 2011: A tutorial on Chord will be presented at PLDI 2011 on Saturday, June 4, 2011.
About Chord
Chord is a program analysis platform that enables users to productively design, implement, combine, and evaluate a broad variety of static and dynamic program analyses for Java bytecode. It has the following key features:
- It provides various off-the-shelf analyses (e.g., various may-alias and call-graph analyses; thread-escape analysis; static and dynamic concurrency analyses for finding races, deadlocks, atomicity violations; etc.)
- It allows users to express a broad range of analyses, including both static and dynamic analyses, analyses written imperatively in Java or declaratively in Datalog, summary-based as well as cloning-based inter-procedural context-sensitive analyses, iterative refinement-based analyses, client-driven analyses, and combined static/dynamic analyses.
- It executes analyses in a demand-driven fashion, caches results computed by each analysis for reuse by other analyses without re-computation, and can execute analyses without dependencies between them in parallel.
- It guarantees that the result is the same regardless of the order in which different analyses are executed; moreover, results can be shared across different runs.
Chord is portable and has been tested on a variety of platforms, including Linux, Windows/Cygwin, and MacOS. It is open source software distributed under the New BSD License.
Documentation
Talks
- Chord: An Extensible Program Analysis Framework Using CnC, Mayur Naik, 2nd Concurrent Collections Workshop, Oct 2010.
- Mechanizing Program Analysis With Chord, Mayur Naik, 1st Workshop on LFX: Learning From eXperience, Jun 2010.
Questions?
For questions about Chord, send email to chord-discuss{at}googlegroups.com or browse the archives. Posting does not require membership but posts by non-members are moderated to avoid spamming group members.
Contributors
The Chord project started as part of Mayur Naik's doctoral work at Stanford University with Alex Aiken.
Since then, many have contributed algorithms, code, and applications to Chord, including: David Gay, Pallavi Joshi, Zhifeng Lai, Percy Liang, Chang-Seo Park, Ariel Rabkin, Mooly Sagiv, Koushik Sen, and Omer Tripp.
Mayur Naik and Ariel Rabkin currently maintain Chord's source code.