static analysis benchmarks from Toyota ITC