O proxecto Cppcheck está a recadar fondos para implementar melloras.

O desenvolvedor de Cppcheck (Daniel Marjamäki) vai engadir a capacidade de verificar software en C e C++ ao seu analizador estático.

Verificación de software en Cppcheck

No modo de "verificación", Cppcheck emitirá un aviso se non pode verificar que o código é seguro, pero isto pode producir ruído (múltiples avisos).

Plans de implantación

O modo de verificación implementarase secuencialmente. Na primeira fase, o traballo centrarase na división por control cero. Esta é unha comprobación relativamente sinxela. Cada función probarase por separado. Suponse que todos os datos de entrada poden ter un valor arbitrario. Máis tarde engadiranse comprobacións doutros tipos de comportamento indefinido. Tamén hai plans para mellorar a análise de C e C++.

Acelerar o desenvolvemento

O obxectivo da recadación de fondos en Kickstarter é acelerar o desenvolvemento do modo de verificación. Planeamos engadir esta función de todos os xeitos, pero o traballo pode levar máis tempo se non se recollen fondos. Se se reúnen os fondos, Daniel poderá tomar unha excedencia no seu traballo principal para dedicar plenamente o seu tempo de traballo ao proxecto cppcheck.

Obxectivos do proxecto

• Eliminación de falsos negativos das probas de división por cero Julieta и ITC.

• Corrección de falsos positivos (ver. ERROR #9402).

• Mellora do analizador C++.

Fonte: linux.org.ru