Analizador de código estático: no administrado C++ Visual Studio 2008

Question

Desarrollo aplicaciones C++ comerciales no administradas en Visual Studio 2008, y deseo agregar una herramienta de análisis de código estático.

¿Alguna recomendación?

Creo que sería muy bueno si la herramienta se puede integrar en MSVC.

estoy pensando en PC-Lint + Visual Lint

Sin embargo, he estado tomando una mirada a Coverity, Understand, y Klockwork también.

El precio no es realmente el problema. Quiero opiniones de personas que realmente usaron la herramienta no administrada C++ en MSVC, y simplemente les encantó.

Por último, VSTS e Intel Parallel Studio ahora también ofrecen análisis de código estático. Bonito ~

Nota: relacionado post sugieren Coverity es la mejor (ver últimos 2 mensajes)

Answer 1

Trabajo para el edificio RedLizard Goanna, un complemento de análisis estático de C++ para Visual Studio. Su foco está en el uso de escritorio por un programador. Puede ejecutarlo en archivos individuales, tal como lo hace con el compilador, y puede proporcionarle resultados rápidamente.

Hay un trial available. Haga clic con el botón derecho en un archivo, seleccione Ejecute Goanna y los resultados aparecerán en la lista de advertencias de Visual Studio.

Answer 2

Más allá de todas las personas que usted ha mencionado, contra las personas de edición desarrollador viene con una buena herramienta de análisis estático llamado PREfast (?). Es (obviamente ...) bien integrado en el IDE, y accesible a través de los menús. Es, de hecho, un lanzamiento público de una herramienta interna de MS: una versión delgada de una herramienta llamada Prefix que se ejecuta en sus compilaciones. Personalmente, cuando me enfrenté a la misma decisión, prefiero lo suficiente.

Answer 3

Acabo de empezar a usar cppcheck que me gusta mucho debido al bajo nivel de ruido.

Aunque no se integra directamente con Visual Studio 2008, VS se puede personalizar y se debe poder integrar directamente en el IDE.

Answer 4

Yo uso PVS-Studio static code analyzer. Este analizador de código estático está bien integrado con Visual Studio 2005, 2008, 2010, 2012, 2013.

Tiene muchas características adicionales:

1. verificación de archivos que recientemente se modificaron hace varios días;

2. Verificación de archivos por sus nombres de archivo dentro del archivo de texto list;

3. version control systems integration; capacidad para operar desde la línea de comando interfaz;

4. marcado «False Alarms»; guardar y cargar resultados de análisis ;

5. utilizando todos los núcleos y procesadores disponibles;

6. etc ...

Answer 5

Usted puede intentar CppDepend, una C y C++ estática analizador bastante completa, bien integrados con VS 2008, 2010, 2012, 2013 y 2015.