CodA
1.0.0
CODA는 주어진 소스 코드에서 고급 정적 및 동적 분석을 수행하는 툴킷입니다.
정적 분석에는 제어 흐름 그래프 (CFG) 및 프라임 경로 추출이 포함됩니다.
동적 분석에는 계측 코드 및 경로 커버리지 계산이 포함됩니다. 현재 CODA는 CPP 14 프로그램을 지원합니다.
자세한 내용은 Coda Documentation 웹 사이트 https://m-zakeri.github.io/coda를 참조하십시오.