cppcheck의 규칙 집합

Question

Cppcheck를 사용하면 자신 만의 규칙 파일을 만들 수 있지만 cppcheck의 기능이 얼마나 많이 노출되어 있는지 알 수 없습니다.

누구나 JSF 또는 MISRA 규칙을 적용 할 세트 작업을하고 있습니까?

Answer 1

모든 MISRA/JSF 규칙과 지시문을 cppcheck 규칙으로 구현할 수 없으며 주로 특정 C 언어 기능과 구문을 제한하거나 스타일 관련 (일부는 염두에 두어야합니다./.--> 후, 단일 행에 인수의 수, 메모리에 액세스하는 다양한 방법을 제공하는 공용체의 사용, 서명되지 않은/서명 된 char 이전의 존재 등).

사용자 Ira Baxter 다른 질문이 있으면 comment에 꽤 많이 못 박았습니다. cppcheck : 모든 것을 패턴으로 표현하거나 단순화 할 수는 없습니다. 맞춤 규칙에 대한 패턴에 의존하여은 높은 수준의 문제를 처리하는 것을 어렵게합니다. 예를 들어 유형(예 : sizeof() 유형)을 구문 분석하면 다음과 같이 사용 된 토큰을 구문 분석하고 수집해야합니다. 타입 표현), 계승(예 : 클래스, 파생 된 클래스 포함, 가상 및 비 가상 모두 사용) 및 범위. cppcheck에 하드 코딩해야합니다 (항상 cppcheck를 포크 할 수 있습니다 ...)

어떤 경우에도 MISRA (또는 JSF) 규칙을 사용 했습니까? 이것은 프로젝트의 요구 사항입니까? 그렇지 않다면 MISRA 가이드 라인 (이미 JSF 코드를 가지고있다)의 사본을 가져 와서 PCRE 패턴을 사용하여 구현할 수있는 코드를 확인할 수있다. 요구 사항 인 경우 MISRA/JSF 지침을 확인하고 두 도구를 모두 사용하는 상용 제품에 "투자"하십시오.

마지막주의 사항 : 모든 MISRA/JSF 규칙이 필요하지 않으며, 많은 도구가 그 중 일부만 남겨 둡니다.

Answer 2

문서를 통해 살펴볼 수 있듯이 꽤 노출되어 있습니다. http://cppcheck.sourceforge.net/manual.pdf.