はち 猫. Coverity static code analysis tool. 桐島 聡 時効. Jack rabbit vs hare.