KLEE 出到 3.0 了
https://github.com/klee/klee/releases/tag/v3.0
KLEE 是 2008 年发在 OSDI 的 symbolic execution 工具
可以说是这个领域最经典的论文
不过不知道从什么时候开始
直接在搜寻引擎搜“klee”只会搜到一个丢炸弹的红色小女孩
我大学的时候有玩过一阵子
不过我觉得其实有点难用
主要是跑不了大型程式 马上就 path explosion 跑不动了
这次更新 看起来是着重在处理 heap 上
不过本来只要一牵涉到指标就会变得超机八麻烦
我自己是不太看好就是了
逻辑推理死路一条