16. ＫＬ１プログラム静的解析系に関する研究

研究のテーマ：

ＫＬ１プログラム静的解析系に関する研究

研究代表者：

上田 　和紀

早稲田大学理工学部情報学科 教授

研究の概要：

　KL1プログラム静的解析系 klint 第２版は、プログラム診断と処理系最適化への応用を目的に作成したソフトウェアである。本研究では、その出力形式改善と機能改良とを行ない、これらの応用分野の今後の研究開発に資するものにすることを目的とする。そのため、klint 第２版の出力形式の改善および出力型式の制御機能の追加を行なうとともに、プログラムの可読性の向上を図る。また、既開発のプログラムのバグ診断アルゴリズムをklint第２版に統合する。

研究の期間：平成１０年６月１６日から平成１１年１月３１日

研究従事者：

網代 育大　　早稲田大学大学院情報科学専攻