GitHub repository: AbsInt/itc-benchmarks
Primary language: C
Description: static analysis benchmarks from Toyota ITC