출시 정적 코드 분석기의 버전 cpp체크 2.6그 C 및 C++ 코드에서 다양한 종류의 오류를 감지할 수 있습니다.임베디드 시스템의 일반적인 비표준 구문을 사용하는 경우에도 마찬가지입니다.
cppcheck의 다양한 개발, 지속적인 통합 및 테스트 시스템과의 통합을 제공하는 플러그인 모음과 코딩 스타일에 대한 코드 적합성 확인 등의 기능을 제공합니다.
코드를 분석하려면, 자체 파서와 외부 Clang 파서를 모두 사용할 수 있습니다.. 또한 데비안 패키지에 대한 공동 코드 검토 작업을 위한 로컬 리소스를 제공하는 donate-cpu.py 스크립트가 포함되어 있습니다.
cppcheck의 개발 정의되지 않은 행동과 관련된 문제를 식별하는 데 중점을 둡니다. 및 안전 관점에서 위험한 구조물의 사용.
목표는 또한 오탐을 최소화하는 것입니다.. 확인된 문제: 존재하지 않는 개체에 대한 포인터, XNUMX으로 나누기, 정수 오버플로, 잘못된 비트 이동 작업, 잘못된 변환, 메모리 문제, 잘못된 STL 사용, 널 포인터 역참조, 버퍼에 대한 실제 액세스 후 검사 적용, 초기화되지 않은 변수를 사용하여 버퍼 한계를 넘었습니다.
cppcheck 2.6의 주요 새 기능
이 새 버전에서e는 파서의 커널에 다양한 검사를 추가했습니다., 그 중 함수 본문에 return 문이 없는 것에 대한 검증이 두드러지며, 중복되는 데이터 레코드, 정의되지 않은 행동 정의 및 비교되는 값에 대한 검증이 표현 범위를 벗어납니다. 유형의 값입니다.
눈에 띄는 또 다른 참신함은 복사 최적화는 return std :: move (local)에 적용되지 않습니다., Unix 플랫폼 및 라이브러리 태그에 대해 진단 메시지를 다양한 색상으로 표시하기 위한 지원이 추가되었습니다. 이제 태그를 포함할 수 있습니다. 고유한 속성을 가진 스마트 포인터용. 이제 이러한 유형의 스마트 포인터에 댕글링 링크 경고가 발행됩니다.
또한, Misra C 2012 컨트롤이 완전히 구현되었으며, 규칙 1, 2 및 1.1을 제외하고 수정 1.2 및 수정 17.3를 포함합니다. 컴파일러는 검사 1.1 및 1.2를 수행해야 합니다. GCC와 같은 컴파일러는 17.3을 확인할 수 있습니다.
눈에 띄는 다른 변화들 중 이 새 버전 :
- 다른 스트림에서 읽고 쓰기 위해 파일을 동시에 열 수 없습니다.
- ValueFlow에 대한 기호 분석이 추가되었습니다. 두 개의 알려지지 않은 변수 간의 차이를 계산할 때 단순 델타가 사용됩니다.
- "define" 토큰 목록에 사용되는 규칙은 #include와도 일치할 수 있습니다.
- 라이브러리 태그 이제 태그를 포함할 수 있습니다. 따라서 std :: size, std :: empty, std :: begin, std :: end 등과 같은 컨테이너를 허용할 수 있는 무료 함수입니다. 컨테이너에 대한 yeld 또는 action을 지정할 수 있습니다.
- –cppcheck-build-dir 매개변수 처리 문제를 수정했습니다.
htmlreport는 이제 작성자에 대한 정보를 인쇄할 수 있습니다(git 비난 사용). - 일정하지 않지만 일정해질 수 있는 변수에 대한 확장된 경고 발행;
- 누적된 분석기 버그 및 결함이 수정되었습니다.
마지막으로 이 새 버전에 대해 더 알고 싶다면 다음 링크의 세부 사항.
Linux에 cppcheck를 설치하는 방법은 무엇입니까?
Linux 배포판에 cppcheck를 설치하는 데 관심이 있는 사용자는 아래에서 공유하는 지침을 따를 수 있습니다.
Debian 사용자이거나 Deepin 또는 Ubuntu와 같은 데비안 기반 또는 파생된 다른 배포인 경우 다음 명령을 입력하여 터미널에서 직접 설치할 수 있습니다.
sudo apt-get install cppcheck
이제 Fedora 사용자 및 파생 제품인 경우 다음 명령을 입력하여 설치를 수행할 수 있습니다.
sudo yum instalar cppcheck
또는 Arch Linux 사용자 또는 기타 파생 제품인 경우 다음 명령을 사용하여 설치할 수 있습니다.
sudo pacman -S cppcheck