This repository contains information related to the tool ReImInfer presented at Foundations of Software Engineering, 2012. The tool was originally presented in this paper.

This repository is not the original repository for this tool. Here are some links to the original project:

• The Official Project Page, including source code
• Link to download the original tool
• Link to virtual machine containing tool

In this repository, for ReImInfer you will find:

• ✅ Source code (available)
• ✅ Binary (available)
• ✅ Virtual machine containing tool

This repository was constructed by Nikhil Chinthapallee under the supervision of Emerson Murphy-Hill. Thanks to Wei Huang and Ana Milanova for their help in establishing this repository.

• Extends the Checker Framework

• Currently supports inference of Universe Types, Ownership Types, Reference Immutability(reim), EnerJ, SFlow, DFlow and AJ.

• Download: issta-artifact-2015.zip (144M) contains executable binary, or issta2015.zip (1.8G) contains executable binary and all benchmarks. NOTE: This is the implementation in the ISSTA'15 paper. Unzip it and follow the instructions in README.

• Download: type-inference-0.1.2.zip contains executable binary and source code. NOTE: It contains Reference Immutability(reim), Ownership Types, and Universe Types in this zip file. Others will be added soon.

The following instructions assume an Unix-like (e.g Mac, Linux) environment.

Requirement: You must have JDK 6 or later installed. The binary release was compiled and tested under JDK 6 on Mac OS X 10.7 and Ubuntu 12.04.

1. Download type-inference-0.1.2.zip and unzip it to create a type-inference directory
2. Optional Add type-inference/binary to your PATH
3. Test if installation is success. Open a command window and change the directory to type-inference. Run javac -version if you have added it to your PATH or ./binary/javac if you didn't, it should output: javac 1.7.0-jsr308-1.3.0

This is the implementation in the OOPSLA'12 paper.

Suppose that we want to do the inference for one test case included in type-inference-0.1.2.zip: inference-tests/CellClient.java.

1. Change the directory to type-inference
2. Run ./binary/javai-reim inference-tests/CellClient.java

The inference results are dumped to:

• new-result.jaif: The result in JAIF format containing fields, parameters and return values, but no local variables.
• new-result.csv: The result for all variables.
• new-pure-methods.csv: The pure methods inferred by the tool.

1. Download 2012-oopsla-eval.zip
2. Unzip it into two directories: 2012-oopsla-eval and benchmarks
3. 2012-oopsla-eval �contains scripts for running the benchmarks
4. benchmarks contains all benchmarks used in the paper except SPECjbb.
5. Please make sure that JDK 6 is included in your PATH. JDK 7 would cause errors.
6. Example: execute the script run-jolden-ri in 2012-oopsla-eval to run the benchmark jolden

1. Download the plugin and unzip it into plugins folder.
2. Copy the folder plugins/edu.rpi.cs.reiminfer_1.0.0 into your Eclipse plugins folder.
3. Add the following line in your eclipse.ini file: -Xbootclasspath/p:../../../plugins/edu.rpi.cs.reiminfer_1.0.0/lib/jsr308-all.jar
4. In Eclipse, right click a Java project and select ReimInfer => Infer Pure Methods.

1. Install Oracle JDK 6 and have JAVA_HOME set correctly. JDK 7 and up should be supported but we haven't tested it yet.
2. Install Apache Ant.
3. Build jsr308-langtools:

cd type-inference/inference-framework/jsr308-langtools/make
make

4. Build annotation-tools:

cd type-inference/inference-framework/annotation-tools
ant

5. Build annotated JDK:

cd type-inference/inference-framework/checker-framework/checkers/jdk
make

• If you only want to build annotated JDK for some specific type system, please edit Makefile and find the line like:

CHECKER_DIRS = sflow

Change sflow to other type system, e.g. reim.

6. Build checkers:

cd type-inference/inference-framework/checker-framework/checkers
ant bindist

Optionally, build checkers without buiding annotated JDK:

ant bindist-nojdk

7. Test run:

cd type-inference/inference-framework/checker-framework/checkers
binary/javai-sflow

Note: Inference results for detecting information violations in web apps are available: webapps-results.tgz. The instantiated inference will be released shortly (available in the source repository).