COAL: Source Code

COAL is developed in Java using Maven for build automation and Git for revision control. In order to contribute to the COAL project, you first need to ensure that both Maven and Git are installed on your system.

The COAL project source is currently divided into two parts: the main COAL solver and the string analysis for method arguments. In order to dowload and build the source for the main COAL solver, you can proceed as follows:

% git clone
% cd coal
% mvn clean package -P standalone
Then you can follow the instructions from the usage page to execute the Jar file, which will be placed in the target subdirectory.

If you also wish to modify the string analysis, you should additionally download and build the source for it:

% git clone
% cd coal-strings
% mvn clean install
After making sure that the pom.xml file for the COAL solver refers to the right version of the string analysis (in the dependencies section), you can build the COAL solver with:
% cd <path to COAL solver directory>
% mvn clean package -P standalone
The solver will now be using your local version of the string analysis.

For any questions or issues with the source code of any of the two projects, please file an issue at the issue tracker for the COAL solver or the issue tracker for the string analysis.