プログラム解析手法の選択・適用のための軽量解析の枠組み

Abstract

本稿では，既存の多くのプログラム解析手法がオンライン型の利用に向かないことを示す．またそれを改善するために，別途軽量解析を行い，解析手法を選択的に適用する枠組みについて述べる．

Abstract (English)

In this paper, we describe previous program analyzing methods hardly can be applied online, then we discuss the framework of lightweight analysis for selecting and applying these analyzing methods.

BibTeX

@inproceedings{hayashi-wws2007,
    author = {林 晋平},
    title = {プログラム解析手法の選択・適用のための軽量解析の枠組み},
    booktitle = {ウィンターワークショップ2007・イン・那覇 論文集},
    pages = {25--26},
    year = 2007,
}