혹시 Coverity 라는 Static Analysis 툴 사용해보신 분 계신가요?

소스코드를 분석해서 버그가 있나없나 확인해주는 툴이에요.

공부좀 해보려는데 관련자료를 찾는게 쉽지 않네요.. ㅠ