The ALICE tool can be used to discover "crash vulnerabilities" in applications. Crash vulnerabilities are problems that get exposed by a sudden power loss or system crash while the application is running, and the application cannot recover correctly after rebooting the machine. More information can be found in the documentation (linked below). ALICE is a part of our research project.

Source Tarball and Documentation

You can download the source tarball here. The Git repository for the tool resides in GitHub, at http://github.com/madthanu/alice.

Users are strongly recommended to go through the documentation (PDF) before using the software.

Results

For details on the workloads and checkers used in our research project, and the vulnerabilities discovered, please contact madthanu@cs.wisc.edu .