leoliaolei / itc-benchmarks

The modified static analysis benchmarks from Toyota ITC.

itc-benchmarks

static analysis benchmarks from Toyota ITC

The modified itc-benchmarks suite

This repository is nothing but a fork of the original ITC-benchmarks repo published on github itc-benchmarks which is modified as explained in section Modifications of the itc-bechmarks. The modifications are meant to facilitate the automatic analysis of the benchmark using static analysis tools. A suite of scripts that can be used to test the modified benchmark is available here.

Modifications of the itc-bechmarks

1. Updated comments in source code such that they have an uniform format: see changes.
2. Added a CWE entry for every file: see changes.
3. Added missing comments for the improper error handling subdefect: see changes.
4. Added missing comments for the live lock subdefect: see changes.
5. Added missing tests for the race condition subdefect: see changes.
6. Added missing comments in the double release test case: see changes.
7. Removed comments and updated names for static cross thread acess defect: see change 1 and change 2.
8. Added two header files pthread.h and unistd.h which enable analysis with static analysis tools like Frama-C or cl /analyze (MSVC analyzer). Because the benchmark does not compile if these files are present, they are currently renamed as pthread.hx and unistd.hx in every sub-directory, and should be renamed conveniently (i.e., .hx becomes .h) when performing the analysis.