CodA

CODA: Análise de código -fonte e kit de ferramentas de síntese

Coda é um kit de ferramentas que executa uma análise estática e dinâmica avançada em um determinado código -fonte.

A análise estática inclui o gráfico de fluxo de controle (CFG) e a extração do caminho principal.

A análise dinâmica inclui o código de instrumentação e a computação da cobertura do caminho. Atualmente, os programas Coda suportam CPP 14.

Para mais informações, consulte o site de documentação da Coda: https://m-zakeri.github.io/coda.