JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/7880

タイトル: Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
著者: Li, Xin
Shannon, Daryl
Ghosh, Indradeep
Ogawa, Mizuhito
Rajan, Sreeranga P.
Khurshid, Sarfraz
発行日: 2008
出版者: Springer
誌名: Lecture Notes in Computer Science
巻: 5356
開始ページ: 36
終了ページ: 52
DOI: 10.1007/978-3-540-89330-1_4
抄録: Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensitive relevancy analysis algorithm based on weighted pushdown model checking, which pinpoints memory locations in the program where symbolic values can flow into. This information is then utilized by a code instrumenter to transform only relevant parts of the program with symbolic constructs, to help improve the efficiency of symbolic execution of Java programs. Our technique is evaluated on a generalized symbolic execution engine that is developed upon Java Path Finder with checking safety properties of Java applications. Our experiments indicate that this technique can effectively improve the performance of the symbolic execution engine with respect to the approach that blindly instruments the whole program.
Rights: This is the author-created version of Springer, Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, and Sarfraz Khurshid, Lecture Notes in Computer Science, 5356, 2008, 36-52. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-540-89330-1_4
URI: http://hdl.handle.net/10119/7880
資料タイプ: author
出現コレクション:b10-1. 雑誌掲載論文 (Journal Articles)

このアイテムのファイル:

ファイル 記述 サイズ形式
APLAS08.pdf303KbAdobe PDF見る/開く

当システムに保管されているアイテムはすべて著作権により保護されています。

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係