Functions tested with Ballista OS Test

Listed below are the functions tested the last time Ballista OS Test was run. In addition to the basic result information, a link is provided for each function to a csh script. When executed, the csh script will generate C++ code that reproduces the robustness errors encountered for the selected function. One c++ file is created for each robustness error encountered.

There are two basic ways to use the script information

1. Find the test case you are interested in within the script and copy that single command to the command line

- The command should be performed after you are in the /outfiles directory.
- The output will be placed in the directory and file specified at the end of the command.
- For example for the access function with parameters set to b_ptr_buf=BUF_LARGE and b_short_int_common=ZERO: (all on one line)

  > .../ballista/outfiles> ./create_code_standAlone.pl access Abort 2 b_ptr_buf BUF_LARGE b_short_int_common ZERO > access_bug_report/access.b_ptr_bufBUF_LARGE.b_short_int_commonZERO.cpp

2. The other option will be to run the entire script and create all the programs with a single command

- The script is already saved as a file. The file is stored as /outfiles/functionName_bug_report/genCode.
- Executing this script may create thousands of c++ files depending on the number of robustness errors detected.
- For example for the access function

  > .../ballista/outfiles/access_bug_report> genCode

FUNCTION | # TESTS | # RESTARTS | # ABORTS | # SETUP FAILS
--- | --- | --- | --- | ---