Cppcheck 프로젝트는 개선을 구현하기 위해 자금을 모으고 있습니다.

Cppcheck의 개발자(Daniel Marjamäki)는 정적 분석기에 C 및 C++ 소프트웨어를 검증하는 기능을 추가할 예정입니다.

Cppcheck의 소프트웨어 검증

"확인" 모드에서 Cppcheck는 코드가 안전한지 확인할 수 없는 경우 경고를 발행하지만 이로 인해 노이즈(여러 경고)가 발생할 수 있습니다.

구현 계획

검증 모드는 순차적으로 구현됩니다. 첫 번째 단계에서는 작업을 XNUMX으로 나누는 검사에 집중합니다. 이것은 비교적 간단한 검사입니다. 각 기능은 별도로 테스트됩니다. 모든 입력 데이터는 임의의 값을 가질 수 있다고 가정합니다. 다른 유형의 정의되지 않은 동작에 대한 검사는 나중에 추가될 예정입니다. C 및 C++ 구문 분석을 개선할 계획도 있습니다.

개발 가속화

Kickstarter의 모금 목표는 검증 모드의 개발을 가속화하는 것입니다. 이 기능은 어차피 추가할 계획이지만, 자금이 모이지 않을 경우 작업 시간이 더 길어질 수 있습니다. 자금이 모금되면 Daniel은 근무 시간을 cppcheck 프로젝트에 전념하기 위해 본업을 잠시 쉬게 될 것입니다.

프로젝트 목표

• XNUMX으로 나누기 테스트에서 거짓 부정 제거 줄리엣 и ITC.

• 거짓 긍정 수정(참조: 버그#9402).

• C++ 파서가 개선되었습니다.

출처 : linux.org.ru