chord.analyses.datarace
Class DataraceAnalysis

java.lang.Object
  chord.project.analyses.JavaAnalysis
      chord.analyses.datarace.DataraceAnalysis

All Implemented Interfaces:

ITask

public class DataraceAnalysis
extends JavaAnalysis

Static datarace analysis.

Outputs relation 'datarace' containing each tuple (a1,c1,e1,a2,c2,e2) denoting a possible race between abstract threads a1 and a2 executing accesses e1 and e2, respectively, in abstract contexts c1 and c2 of the methods containing those accesses, respectively.

Recognized system properties:

• chord.exclude.escaping (default is false).
• chord.exclude.parallel (default is false).
• chord.exclude.nongrded (default is false).
• chord.print.results (default is false).
• All system properties recognized by abstract contexts analysis (see CtxtsAnalysis).

Author:

Mayur Naik (mhn@cs.stanford.edu), Omer Tripp (omertrip@post.tau.ac.il)

Field Summary

Fields inherited from class chord.project.analyses.JavaAnalysis

consumes, controls, name, produces

Constructor Summary

DataraceAnalysis()

Method Summary

java.lang.String	estr(int e)
void	run() Executes this analysis in a "classic" project.

Methods inherited from class chord.project.analyses.JavaAnalysis

getName, run, setName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DataraceAnalysis

public DataraceAnalysis()

Method Detail

run

public void run()

Description copied from interface: ITask

Executes this analysis in a "classic" project. This method must usually not be called directly. The correct way to call it is to call ClassicProject.runTask(String) or ClassicProject.runTask(ITask), providing this analysis either by its name or its object.

Specified by:

run in interface ITask

Overrides:

run in class JavaAnalysis

estr

public java.lang.String estr(int e)