如何爲特定語言實現符號執行引擎？

我正在考慮使用符號執行來測試用特定語言（如java）編寫的程序的穩健性。我讀過一些介紹符號執行的基本概念的論文。但我不清楚如何開始。如何爲特定語言實現符號執行引擎？

例如，如何從具體輸入中生成約束條件？那麼任何人都可以給我一些關於執行符號執行的基礎知識的建議嗎？此外，concolic執行（具體+符號）呢？

2013-11-01 clasnake

2013-11-15 21:00:44

是啊，這是偉大的，非常感謝！ – clasnake

我怎麼能在一個具體的投入約束條件？使用

符號或concolic執行

因此，任何一個可以給我象徵性的執行實施的基本知識一些建議嗎？

我的建議和Ziming Zhao一樣：使用一個現存的符號執行工具。不要試圖實現你自己，這將是太困難和費時。

這裏有最流行的項目（更完整的列表here）：

C和C++：KLEE，Kite

2016-02-16 17:28:33

回答