KLEE 出到 3.0 了
https://github.com/klee/klee/releases/tag/v3.0
KLEE 是 2008 年發在 OSDI 的 symbolic execution 工具
可以說是這個領域最經典的論文
不過不知道從什麼時候開始
直接在搜尋引擎搜「klee」只會搜到一個丟炸彈的紅色小女孩
我大學的時候有玩過一陣子
不過我覺得其實有點難用
主要是跑不了大型程式 馬上就 path explosion 跑不動了
這次更新 看起來是著重在處理 heap 上
不過本來只要一牽涉到指標就會變得超機八麻煩
我自己是不太看好就是了
邏輯推理死路一條