c程序的concolic測試

Question

我已經給了一個項目來創建一個測試c程序的concolic測試框架。我發現CUTE和DART實施了concolic測試。但他們不能下載。我完全理解concolic測試的工作方式，但我無法在系統級實現它。有人可以幫忙嗎？我需要關於如何提取c程序的組件/函數的幫助，對它們進行具體和象徵性的測試，並找出程序中可能出現的錯誤。

Answer 1

CREST是concolic測試的開源實現。

Answer 2

CATG和Jalangi分別是用於Java和JavaScript程序的concolic測試的開源實現。