Chord's Datarace Checker

Getting Started

Run the datarace checker on the example Java program in directory main/examples/datarace_test/ of the Chord 2.0 distribution by following the instructions in the README file in that directory.

Upon successful completion, the checker should produce files dataraces_by_fld.html and dataraces_by_obj.html.

Configuration Options

Read the section titled ``Static Datarace Analysis" in the chapter on Predefined Analyses in Chord's user guide for how to configure aspects of the datarace checker that affect its performance, precision, and soundness.

Case Studies

Details of the experimental results reported in our PLDI'06 paper are available here.