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

2015-05-08 14:07:10 +08:00
 randy123

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

1954 次点击
所在节点    问与答
3 条回复
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 做点东西，可以跟您讨教一些经验吗？

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/189480

V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX