[閒聊] KLEE 3.0

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