Skip to content

Latest commit

 

History

History
20 lines (14 loc) · 2.34 KB

README.md

File metadata and controls

20 lines (14 loc) · 2.34 KB
Raw

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.