有没有朋友了解 klee 和 llvm 啊?

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

已注册用户请登录

这是一个创建于 3302 天前的主题，其中的信息可能已经有所发展或是发生改变。

本人在进行klee的二次开发,主要是利用符号执行来进行c++程序迭代深度的计算,老师指派的项目,不清楚有没有朋友进行过类似的项目,或者比较了解Klee和LLVM的?希望帮忙讲述一下符号执行的相关概念.

3 条回复 • 2018-09-05 17:05:12 +08:00

yuanbg

2016-03-15 10:13:58 +08:00

Klee 是 LLVM 下的一个子项目，近期我也在了解这方面的东西，想做污点分析，不知道楼主现在做的怎么样了？

radix86

2016-03-28 09:52:18 +08:00

@yuanbg 我现在正在做，想对 KLEE 增加新的功能，可以交流。

zj4321

2018-09-05 17:05:12 +08:00

@radix86 您好，我最近在看符号执行，想利用 klee 做点东西，可以跟您讨教一些经验吗？