정적 프로그램 분석 - 다른 언어