zj4321 最近的时间轴更新
zj4321

zj4321

V2EX 第 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 对我来说,源码过于庞大,所以来打扰您。
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1805 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 11ms · UTC 16:24 · PVG 00:24 · LAX 08:24 · JFK 11:24
Developed with CodeLauncher
♥ Do have faith in what you're doing.