Ballista OS Robustness Test Suite

The Ballista OS Robustness Test Suite tests the robustness of POSIX functions on Unix-like systems by calling them with exceptional parameter values. It runs locally with a single command, records and summarises the results, and can generate standalone programs that reproduce the failures found. Windows is not supported.

The suite was developed in the Ballista project at Carnegie Mellon University. Its page states that funding has ended, that the authors cannot offer support, and that the software uses an old toolchain and will likely need porting.