CodA

Coda: Quellcodeanalyse und Synthese -Toolkit

Coda ist ein Toolkit, das eine erweiterte statische und dynamische Analyse eines bestimmten Quellcodes durchführt.

Die statische Analyse umfasst Kontrollflussdiagramm (CFG) und Prime -Pfad -Extraktion.

Die dynamische Analyse umfasst Instrumentencode- und Pfadabdeckungsberechnung. Derzeit unterstützen CODA CPP 14 -Programme.

Weitere Informationen finden Sie in der Coda-Dokumentations-Website: https://m-zakeri.github.io/coda.