Benchmarks for C language static analysis

Hi,


I'd like to start a discussion (off-line) with researchers who are
working on static analysis in the C language. My purpose in doing this
is to establish a common benchmark suite of publicly available C
source programs, to assure that empirical research results (speed and
accuracy) are comparable for different algorithms.


The benchmark suite would be available for anonymous FTP; therefore,
all programs must be in public domain and not subject to ITAR
restrictions.


Some topics for discussion include:


- Proper size and mix of programs for the benchmark;
- How to distribute empirical results (formats, etc.);
- How to standardize results where analyses might have slightly
    different capability (e.g., I handle arrays but not function
    pointers, you do the opposite);
- Potential sources of test data.


Looking forward to your participation!


- Steve Masticola (masticol@scr.siemens.com).
--

Return to the comp.compilers page.
Search the comp.compilers archives again.