有没有朋友了解过 Klee 和 LLVM 啊?

This topic created in 4051 days ago, the information mentioned may be changed or developed.

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

1 replies • 2018-09-05 17:02:47 +08:00

zj4321

Sep 5, 2018

您好，请问您关于 klee 的二次开发后来有继续做下去吗？想和您讨教一下经验。我最近在研究符号执行这块的东西，klee 对我来说，源码过于庞大，所以来打扰您。