CodA

CODA：源代碼分析和合成工具包

CODA是一種在給定源代碼上執行高級靜態和動態分析的工具包。

靜態分析包括控制流程圖（CFG）和主要路徑提取。

動態分析包括儀器代碼和路徑覆蓋計算。目前，CODA支持CPP 14程序。

有關更多信息，請參閱CODA文檔網站：https：//m-zakeri.github.io/coda。