Static Analysis 구현