c程序的concolic测试

Question

我已经给了一个项目来创建一个测试c程序的concolic测试框架。我发现CUTE和DART实施了concolic测试。但他们不能下载。我完全理解concolic测试的工作方式，但我无法在系统级实现它。有人可以帮忙吗？我需要关于如何提取c程序的组件/函数的帮助，对它们进行具体和象征性的测试，并找出程序中可能出现的错误。

Answer 1

CREST是concolic测试的开源实现。

Answer 2

CATG和Jalangi分别是用于Java和JavaScript程序的concolic测试的开源实现。