シンボル格子に基づく可能な値の分析

プログラムの各プログラムポイントにおける変数と記憶領域の可能な記号的な値を計算する新しい静的プログラム分析手法を提案する。