임베디드 소프트웨어를 위한 정적 코드 분석 도구
C/C++을 위한 검증된 정적 분석 솔루션
메모리 오류·버퍼 오버플로우 등 정의되지 않은 동작을 개발 초기에 잡아내고, MISRA·AUTOSAR·CERT C 등 코딩 표준을 준수해 대규모 프로젝트에서도 코드 품질을 일관되게 유지합니다.
데이터 흐름 분석·값 추적 등 고급 기법으로 C/C++ 코드의 결함과 취약점을 정밀하게 찾아내는 분석 엔진입니다. 하지만 커맨드라인 기반이라, 처음 쓰는 개발자에게는 진입 장벽이 있습니다.
진입 장벽을 없앤 인터페이스입니다. 명령어를 몰라도 화면에서 컴파일러와 규칙을 고르기만 하면 분석 환경이 만들어지고, 결과도 그래픽으로 바로 확인할 수 있습니다.
검증된 분석 엔진에, 쉬운 사용성
그 외 다수의 컴파일러 및 개발 환경 지원
결함과 취약점을 개발 초기에 발견해, 후반으로 갈수록 커지는 디버깅·유지보수 비용을 줄입니다.
자동차·의료·산업처럼 인증이 필수인 프로젝트에서, 검증된 분석 도구로 바로 활용할 수 있습니다.
모든 분석이 사용자 환경 안에서만 처리되어, 보안 규정이 엄격한 국방·금융·의료 환경에도 안심하고 도입 가능합니다.
MDS테크가 국내 총판으로 PC-lint Studio 인터페이스까지 함께 지원해, 처음 도입하는 팀도 부담이 없습니다.
