임베디드 소프트웨어를 위한 정적 코드 분석 도구
C/C++을 위한 검증된 정적 분석 솔루션
메모리 오류·버퍼 오버플로우 등 정의되지 않은 동작을 개발 초기에 잡아내고, MISRA·AUTOSAR·CERT C 등 코딩 표준을 준수해 대규모 프로젝트에서도 코드 품질을 일관되게 유지합니다.
데이터 흐름 분석·값 추적 등 고급 기법으로 C/C++ 코드의 결함과 취약점을 정밀하게 찾아내는 분석 엔진입니다. 하지만 커맨드라인 기반이라, 처음 쓰는 개발자에게는 진입 장벽이 있습니다.
진입 장벽을 없앤 인터페이스입니다. 명령어를 몰라도 화면에서 컴파일러와 규칙을 고르기만 하면 분석 환경이 만들어지고, 결과도 그래픽으로 바로 확인할 수 있습니다.
검증된 분석 엔진에, 쉬운 사용성
| 구분 | ISO 26262 | IEC 61508 | IEC 62304 | EN 50716 | CWE |
|---|---|---|---|---|---|
| 대상 산업 | Automotive | Industrial | Medical | Railway | Software Vulnerabilities |
| 인증 등급 | ASIL D | SIL 4 | Class C | SIL 4 | 호환 |
PC-lint Plus는 기능안전 국제 표준에 대해 exida로부터 정식 인증을 받은 정적 분석 도구입니다. 자동차(ISO 26262 ASIL D), 산업(IEC 61508 SIL 4), 의료(IEC 62304 Class C), 철도(EN 50716 SIL 4) 등 각 산업이 요구하는 최고 수준의 안전 등급을 지원합니다. 검토용 인증 문서를 함께 제공하므로, 안전 임계(safety-critical) 프로젝트에 자신 있게 적용할 수 있습니다. 어떤 진단을 왜 껐는지 자동으로 기록됩니다. 코드 검증 이력이 그대로 쌓여서, 나중에 감사받을 때 근거 자료로 쓸 수 있습니다.
결함과 취약점을 개발 초기에 발견해, 후반으로 갈수록 커지는 디버깅·유지보수 비용을 줄입니다.
자동차·의료·산업처럼 인증이 필수인 프로젝트에서, 검증된 분석 도구로 바로 활용할 수 있습니다.
모든 분석이 사용자 환경 안에서만 처리되어, 보안 규정이 엄격한 국방·금융·의료 환경에도 안심하고 도입 가능합니다.
MDS테크가 국내 총판으로 PC-lint Studio 인터페이스까지 함께 지원해, 처음 도입하는 팀도 부담이 없습니다.
