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.