シンボリック実行において、「パス爆発」を防ぐための一般的な対策はどれか。

現実的な時間で解析を終わらせるために、探索の範囲を重要なパスに限定する手法が取られる。

関連記事

関連記事はありません。