2011-11-09 15 views

Respuesta

2

Tome un vistazo a clang 's analizador estático: http://clang-analyzer.llvm.org/

Hay otras herramientas como KLEE sobre la base de llvm, también vale la pena echarle un vistazo.

+0

Echa un vistazo clang -Todo, pero ten en cuenta que habrá una gran cantidad de falsos positivos – koan

2

También puede personalizar GCC (4.6) mediante el uso de complementos (codificados en C) o MELT extensions (MELT es un lenguaje de dominio de alto nivel específico para extender y personalizar GCC). Este enfoque podría ser apropiado si tiene sus propias reglas de codificación que desea verificar. Sin embargo, toma algún trabajo.