PC-lint_Plus_Factsheet_Ko_MDSTECH

PC-lint Plus

Static Code Analysis for C and C++

What is PC-lint Plus?

PC-lint Plus는 C 및 C++ 소스 코드를 분석하여 소프트웨어 프로젝트의 결함, 취약점, 가이드라인 위반을 찾아내는 정적 분석 도구입니다.

컴파일러처럼 소스 코드 파일을 파싱하고, 의미 분석을 수행하며, 프로그램을 표현하는 추상 구문 트리를 생성합니다.

PC-lint Plus에서 사용하는 고급 분석 기법: 데이터 흐름 분석, 추상 해석, 값 추적, 읽기/쓰기 추적, 강력한 타입 검사, 함수 의미론 - 전체 코드베이스에 걸쳐 포괄적인 진단을 제공합니다.

PC-lint Plus는 정밀한 위치 정보와 풍부한 컨텍스트를 포함한 완전히 커스터마이즈 가능한 메시지 형식으로 명확하고 간결하며 실행 가능한 진단 결과를 제공합니다.

결과는 개발 워크플로우에 원활하게 통합될 수 있습니다:

> PC-lint Plus는 커맨드 라인에서 실행되며, 빌드 프로세스, CI/CD 파이프라인, IDE와 통합되고, 유연한 출력 형식을 지원합니다.
> 신규 PC-lint Plus View는 진단 결과를 필터링, 검토, 추적, 보고하기 위한 현대적인 그래픽 인터페이스를 제공합니다.

Highlights of Version PC-lint Plus 2025

> MISRA C 2025, MISRA C 2023, MISRA C 2012 지원
> MISRA C++:2023 지원
> 의료기기 소프트웨어 IEC 62304 인증
> 고급 진단 어카운팅 및 억제 감사 기능
> 향상된 내장 메트릭, 커스터마이즈 가능한 임계값, 사용자 정의 검사를 위한 개선된 쿼리
> PC-lint Plus View: 필터링, 검토, 보고를 위한 그래픽 인터페이스

Overview of Advantages

> 광범위한 결함 및 취약점을 식별합니다.
> 잠재적인 버그와 의심스러운 코드를 발견하여 향후 문제 발생 위험을 줄입니다.
> 문제의 근본 원인을 신속하게 파악하고 실행 가능한 수정 방법을 제공합니다.
> MISRA, AUTOSAR, CERT C 등 코딩 표준을 지원합니다.
> ISO 26262, IEC 62304, IEC 61508 안전 임계 표준 인증.
> 네트워크 연결이나 코드 업로드 없이 안전한 온프레미스 운영.

Widely Compatible

PC-lint Plus는 Windows, Linux, macOS에서 기본 실행되어, 사실상 모든 타겟 플랫폼의 소스 코드 분석이 가능합니다. 다양한 컴파일러와 최신 C/C++ 언어 표준을 폭넓게 지원합니다:

> C11 / C17 / C23
> C++17 / C++20 / C++23

PC-lint Plus는 IDE, 빌드 프로세스, CI/CD 시스템과 원활하게 통합됩니다. 출력 형식은 일반 텍스트, HTML, XML, SARIF를 지원하여 유연한 보고 및 툴체인 통합이 가능합니다.

A Smarter Way To Work With Diagnostics

PC-lint Plus 2025의 신기능 Diagnostic Accounting은 정적 분석 결과에 완전한 추적 가능성과 투명성을 제공합니다. 억제된 메시지를 포함한 모든 진단 발생에 대한 포괄적인 데이터를 수집하고 각 메시지가 표시되거나 숨겨진 이유를 설명합니다. 억제를 정당화하고 감사 추적을 구축해야 하는 안전 임계 팀에 필수적입니다.

> 억제된 진단 및 억제 이유 추적
> 미사용 또는 불필요한 억제 식별
> 코딩 표준 이탈 정당화
> 컴플라이언스 보고 및 감사를 위한 상세 JSON 데이터 내보내기

이 진단 인사이트는 신규 그래픽 인터페이스 PC-lint Plus View의 핵심 기반입니다.

PC-lint Plus View - Graphical Analysis

PC-lint Plus View는 분석 결과 작업을 위한 강력한 그래픽 인터페이스입니다. 개발자와 테스터가 다음을 수행할 수 있습니다:

> 결과물을 대화형으로 필터링 및 탐색
> 시간 경과에 따른 결과물 추적
> 보고서 생성 및 커스터마이즈
> 진단 트렌드 및 억제 현황 시각화
> SARIF 및 기타 형식으로 결과 내보내기

PC-lint Plus View는 팀이 분석 결과를 더 효과적으로 분류·관리할 수 있도록 지원합니다: 빠른 피드백, 향상된 감사, 대규모 프로젝트 전반의 더 나은 협업을 제공합니다.

Comply with Safety Standards

MISRA C와 C++, AUTOSAR, CERT C를 포함한 업계 코딩 표준 준수를 강제합니다. 개별 가이드라인 감지를 커스터마이즈하고, 정밀한 진단 억제로 가이드라인 이탈을 쉽게 지원합니다. PC-lint Plus Reference Manual에는 MISRA C 2004, MISRA C++ 2008, MISRA C 2012, MISRA C 2023, MISRA C 2025, MISRA C++ 2023, CERT C, AUTOSAR17, AUTOSAR 19에 대한 상세 코딩 가이드라인 지원 매트릭스가 포함되어 있습니다.

CWE Support

CWE(Common Weakness Enumeration)는 소프트웨어 및 하드웨어의 일반적인 보안 취약점을 식별·분류하는 커뮤니티 관리 목록으로, 취약성으로 이어질 수 있는 소프트웨어, 펌웨어, 하드웨어 및 서비스 문제를 포괄합니다. PC-lint Plus는 CWE 호환성 인증을 받았으며, 제공된 구성 파일을 통해 일반적인 취약점을 감지하고 참조할 수 있습니다.

Secure On-site Analysis

PC-lint Plus는 개발자 워크스테이션, 빌드 서버 또는 CI 서버에서 로컬로 실행됩니다. 인터넷 연결 없이 작동하며, 어떠한 채널을 통해서도 데이터, 코드, 통계, 분석 정보를 수집하거나 전송하지 않습니다.

Certified for ISO 26262, IEC 62304, and IEC 61508

PC-lint Plus는 exida®로부터 ISO 26262:2018(ASIL D 적격), IEC 62304, IEC 61508:2010(SIL 4 적격) 인증을 받았으며, 검토용 인증 문서를 제공합니다. 안전 임계 프로젝트에 자신 있게 사용할 수 있습니다.

More information: www.vector.com/pclintplus