고성능 정적 프로그램 분석 기법