プログラム静的解析法の効率化とフレームワーク構築に関する研究