CodA

CODA：ソースコード分析と合成ツールキット

CODAは、特定のソースコードで高度な静的および動的分析を実行するツールキットです。

静的分析には、コントロールフローグラフ（CFG）とプライムパス抽出が含まれます。

動的分析には、計装コードとパスカバレッジの計算が含まれます。現在、CODAはCPP 14プログラムをサポートしています。

詳細については、CodaドキュメントWebサイトhttps：//m-zakeri.github.io/codaを参照してください。