Toy Example

See the example in directory chord/examples/datarace_test/ of the Chord 2.0 distribution. The README file in that directory explains how to run the datarace checker on the example. The datarace checker upon successful completion should produce files:

• dataraces_by_fld.html and dataraces_by_obj.html using 0-CFA,
• dataraces_by_fld.html and dataraces_by_obj.html using 1-object-sensitive alias analysis, and
• dataraces_by_fld.html and dataraces_by_obj.html using 2-object-sensitive alias analysis.

Case Studies

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