zj4321 最近的时间轴更新 zj4321 最近的时间轴更新 |
zj4321V2EX 第 347141 号会员，加入于 2018-09-04 22:23:01 +08:00 |
zj4321 最近回复了
2018-09-05 17:05:12 +08:00 回复了 randy123 创建的主题 › 问与答 › 有没有朋友了解 klee 和 llvm 啊? |
@radix86 您好，我最近在看符号执行，想利用 klee 做点东西，可以跟您讨教一些经验吗？
2018-09-05 17:02:47 +08:00 回复了 randy123 创建的主题 › 编程 › 有没有朋友了解过 Klee 和 LLVM 啊? |
您好，请问您关于 klee 的二次开发后来有继续做下去吗？想和您讨教一下经验。我最近在研究符号执行这块的东西，klee 对我来说，源码过于庞大，所以来打扰您。
Select Language