HIPPODROME

Setup and Build

Dependencies:

• infer (RacerD) - the extended version which tackles a more fine grained tracking of the locks when analysing for data races:
• antlr for java
• maven

For each of the above just follow the given instructions.

Install HIPPODROME:

• install antlr to your local maven repository:

mvn install:install-file -Dfile="<path-to-your-antlr-for-java-jar>" -DgroupId=org.racerdfix.antlr -DartifactId=antlr -Dversion=1.0 -Dpackaging=jar

• install HIPPODROME: mvn install (from the project's main directory)

Run

HIPPODROME requires a configuration file to indicate which files to analyse and where to find infer. The config file is in json format, as follows:

{"infer":"<path-to-infer>",
 "options":["--racerdfix-only", "--starvation", <list-of-strings-representing-additional-infer-options>],
 "json_path": "./infer-out/",
 "target_options": ["--", "javac", "<java-files-to-be-analysed>"],
 "prio_file": [],
 "iterations": 10
}

where

• infer sets the path to the running infer
• options are the options passed to the infer process
• json_path is the path to the directory where infer writes its reports
• targer_options tells how to compile the target files and which files to compile
• prio_files selects only these files to be fixed. If left empty, HIPPODROME will attempt to fix all the files
• iterations the number of iterations allowed to re-analyse and re-patch the target files before stopping the patching process.
• hippodrome_options enables other options specific to hippodrome.

See the CONFIG.json file in the project's root directory for a config file example.

Assuming that the name of the resulted jar is hippodrome.jar you could test it as follows:

java -jar hippodrome.jar --config_file="CONFIG.json"

Example

Say we have a directory /tmp/ with the following content:

.
├── CONFIG.json
├── RacerDFix-1.0.jar
└── java
    └── RacyFalseNeg.java

and the following content for CONFIG.json:

{"infer":"infer",
 "options":["--racerdfix-only", "--starvation"],
 "json_path": "./infer-out/",
 "target_options": ["--", "javac", "java/RacyFalseNeg.java"],
 "prio_files": [],
 "iterations": 3
}

Running HIPPPODROME in this setting leads to the following structure:

.
├── CONFIG.json
├── RacerDFix-1.0.jar
├── infer-out
...
└── java
    ├── RacyFalseNeg.java
    └── RacyFalseNeg.java.orig

• The infer-out directory has beed created by infer to store the results of the analysis in json format.
• The java directory now contains the fixed java file RacyFalseNeg.java and its original counterpart RacyFalseNeg.java.orig

ADD RACE EXAMPLE, PATCH AND FIX EXAMPLE