static analysis benchmarks from Toyota ITC - View it on GitHub