- 著者
-
桜井勇貴
佐々木晃
雪田修一
- 雑誌
- 第76回全国大会講演論文集
- 巻号頁・発行日
- vol.2014, no.1, pp.323-324, 2014-03-11
ソフトウェア及び、その開発において出現する典型的なバグに、無限ループが存在する。このタイプのバグはプロセスのゾンビ化やデスクトップアプリケーションのフリーズを引き起こす。本研究では、このような無限ループをランタイムエラーとして検出し、プログラム中で例外としての扱いを可能とするインタプリタ実装について報告する。この手法では、関数のコールパス及び継続を用いて、プログラムの状態の表現を与える。その状態の同値性から無限ループを検出することで、そのエラーを発生させる。本稿ではまた、この実装において、検出可能な無限ループ及び、検出不可能な無限ループのパターンを紹介する。