Benchmarks for C language static analysis

masticol@scr.siemens.com (Steve Masticola)
Tue, 17 Aug 1993 13:45:04 GMT

          From comp.compilers

Related articles
Benchmarks for C language static analysis masticol@scr.siemens.com (1993-08-17)
| List of all articles for this month |

Newsgroups: comp.compilers
From: masticol@scr.siemens.com (Steve Masticola)
Keywords: C, benchmarks, question
Organization: Siemens Corporate Research, Princeton (Plainsboro), NJ
Date: Tue, 17 Aug 1993 13:45:04 GMT

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).
--


Post a followup to this message

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