정적 분석기 사용자 편의성 증대에 관한 연구 = Improving the Usability of Static Analyzers