本人在进行klee的二次开发,主要是利用符号执行来进行c++程序迭代深度的计算,老师指派的项目,不清楚有没有朋友进行过类似的项目,或者比较了解Klee和LLVM的?希望帮忙讲述一下符号执行的相关概念.
1
yuanbg 2016-03-15 10:13:58 +08:00
Klee 是 LLVM 下的一个子项目,近期我也在了解这方面的东西,想做污点分析,不知道楼主现在做的怎么样了?
|