View/Download Test Cases
Test Suite #104: ITC-Benchmarks
- Created by: Charles Oliveira on 2016-09-13
- Size: 100 test cases
- Description: Toyota InfoTechnology Center (ITC), U.S.A.
static analysis benchmarks for undefined behavior and
concurrency weaknesses. 100 test cases in C and C++
containing a total of 685 pairs of intended weaknesses.
Each pair has a version with a weakness and a fixed version.
The test cases are Copyright (c) 2012-2014 and distributed
under the "BSD License." See Shin'ichi Shiraishi, Veena Mohan,
and Hemalatha Marimuthu, "Test Suites for Benchmarks of
Static Analysis Tools," IEEE Int'l Symp. on Software Reliability
Engineering (ISSRE '15), DOI: 10.1109/ISSREW.2015.7392027,
originally obtained from https://github.com/regehr/itc-benchmarks.
Please note that test cases contain coincidental weaknesses flagged by SAMATE team, each described accordingly and individually.
Also please note that the SAMATE team determined that in a few cases, the code that was marked as weakness originally was in fact correct code. We describe these cases accordingly and individually.
- To view a specific test case, click on ID of the test case (second column)
- To download specific test cases, select them then click on "Download selected test cases " icon at the top right of the page