OpenなJava Programに対するObject Flow解析(プログラミング方法論とパラダイム,<特集>新しいパラダイムの中での分散システム/インターネット運用・管理)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,Java programにおけるobjectの流れ(objectの生成点から各使用点に至る過程)の表現方法およびその解析方法を提案する.提案する表現方法は,programの動作の理解に役立つほか,programの脆弱性や信頼性の検証において,検出した問題点の発生過程を人間に示す手段として有用である.我々の方法の特徴は,objectを指示する存在の変化に着目し,objectの流れをlabel付き状態遷移系上の遷移系列として定式化していることで,これによりobjectが流れる様々な要因(変数間の代入,他のobjectのfieldへの書き込みと読み出し,method呼び出しや復帰等)を統一的に表現することが可能となる.またprogramとその外部環境の間のobjectの流れも自然な形で表すことができる.提案する解析は,open programの置かれる任意の文脈の作用について穏健な近似を行う機能を持ち,着目するobjectの生成点が含まれている場合,健全な解析結果を得るためにstubを必要としない.本論文では,open programに対する解析をclosed programに対する解析の拡張として定義し,その相対的な健全性を示している.
- 2008-03-15