首页
注册
登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请
登录
广告
V2EX
›
编程
有没有朋友了解过 Klee 和 LLVM 啊?
randy123
·
2015-05-08 11:06:53 +08:00
· 2437 次点击
这是一个创建于 3439 天前的主题,其中的信息可能已经有所发展或是发生改变。
本人在进行klee的二次开发,主要是利用符号执行来进行c++程序迭代深度的计算,老师指派的项目,不清楚有没有朋友进行过类似的项目,或者比较了解Klee和LLVM的?希望帮忙讲述一下符号执行的相关概念.
klee
llvm
符号
1 条回复
•
2018-09-05 17:02:47 +08:00
1
zj4321
2018-09-05 17:02:47 +08:00
您好,请问您关于 klee 的二次开发后来有继续做下去吗?想和您讨教一下经验。我最近在研究符号执行这块的东西,klee 对我来说,源码过于庞大,所以来打扰您。
关于
·
帮助文档
·
博客
·
API
·
FAQ
·
实用小工具
·
2046 人在线
最高记录 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 23ms ·
UTC 05:14
·
PVG 13:14
·
LAX 22:14
·
JFK 01:14
Developed with
CodeLauncher
♥ Do have faith in what you're doing.