CodA

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

CODA是一种在给定源代码上执行高级静态和动态分析的工具包。

静态分析包括控制流程图（CFG）和主要路径提取。

动态分析包括仪器代码和路径覆盖计算。目前，CODA支持CPP 14程序。

有关更多信息，请参阅CODA文档网站：https：//m-zakeri.github.io/coda。