정확도와 확장성을 조절하는 정적 분석 방법