CUBA: Interprocedural Context-Unbounded Analysis of Concurrent Programs
1. DownloadThe artifact is up on Github. You can use the following command to check it out:
git clone -b pldi https://github.com/lpzun/cuba.gitNote: The above command clones the
- source code on GitHub or in the
srcdirectory if you checked out the whole artifact (for installation, see below).
- executable binaries for the following platforms (unzip using
|x86 Linux||x64 Linux||x64 Mac OSX|
Note: CUBA is being developed in C++11. Make sure that your compiler supports C++11 or above. CUBA has been successfully compiled with
2.1 Install from sourceThe following assumes you have checked out the source code from GitHub.
make cd bin ./cuba -hYou can use
make cleanto remove the object files. For a thorough cleanup, which also removes the executable, use
2.2 Using the binaries
Unpack the CUBA binary for your architecture from the
.zipfile above. This will produce a single file, the executable for the platform you chose.
- Run it.
Tutorialtab contains more details about running the tool.
3. Programmer's Guide
Generate programmer's guide
The documentation is automatically generated using doxygen. To (re-)generate the documentation, you must have doxygen installed on your machine. Assuming you have checked out the Artifact submission and entered the top-level directory,