IAR C-STAT

IAR C-RUN

> 

의료, 항공, 철도, 국방 등의 분야에서 안전에 민감한 시스템에 대한 코딩 룰 체크

(MISRA C:2004, MISRA C++:2008 및 MISRA C:2012)

> 

실제 타겟 실행시 동적 메모리 할당에 의해 발생하는 오류 검출 가능한 동적 분석 도구 C-RUN

> 

동적 할당되는 heap, 배열 경계값, 산술연산/ 버퍼 오버플로우 분석