Benchmarks

Booster has been evaluated on the following sets of benchmarks.

• standard - Programs with arrays used in related works on array analysis.
• sorting - Sorting procedures for arrays.
• data_structures - Programs exploiting arrays for defining more complex data-structures (e.g., sets).
• sanfoundry - Programs taken and adapted from the webpage www.sanfoundry.com/c-programming-examples-arrays/.

Some Booster programs have been adopted by the SV-COMP organizers for a new track of the competition (see svn.sosy-lab.org/software/sv-benchmarks/trunk/c/array-examples/).

Results of the experimental evaluation of Booster are available for the safe and unsafe benchmarks.