シンボリック実行 - entropy

シンボリック実行

Symbolic Exection

プログラム解析手法の一つ

実際の値ではなくシンボルを使って動作をシミュレーションする技術

シンボルとは抽象的または仮想的な値であり、コードを実行する時に与えられる具体的な値を表現するための placeholder 的な役割を持つもの

これにより、すべての実行パスを網羅的に検証し、パグや脆弱性、仕様違反などを発見することが可能