Cppcheck es una herramienta de análisis estático para código C / C ++. A diferencia de los compiladores C / C ++ y muchas otras herramientas de análisis, no detecta errores de sintaxis en el código. Cppcheck detecta principalmente los tipos de errores que los compiladores normal...

Coverity Scan Static Analysis permite encontrar y corregir defectos en su proyecto de código abierto Java, C / C ++ o C # de forma gratuita. Prueba cada línea de código y la ruta de ejecución potencial. La causa raíz de cada defecto se explica claramente, lo que facilita la so...

PVS-Studio es un analizador estático que detecta errores en el código fuente de las aplicaciones C, C ++ y C #. La herramienta PVS-Studio está destinada a desarrolladores de aplicaciones contemporáneas y se integra en el entorno de Visual Studio 2005/2008/2010/2012/2013. PVS-Stu...

Flawfinder examina el código fuente e informa sobre posibles debilidades de seguridad (`` fallas '') ordenadas por nivel de riesgo. Es muy útil para encontrar y eliminar rápidamente al menos algunos posibles problemas de seguridad antes de que un programa se publique ampliamente...

Splint es una herramienta para verificar de manera estática los programas de C en busca de vulnerabilidades de seguridad y errores de codificación. Con un esfuerzo mínimo, Splint se puede utilizar como una mejor pelusa. Si se invierte un esfuerzo adicional para agregar anotacion...

lgtm.com es una plataforma para el análisis de códigos. Es de uso gratuito para software de código abierto; los resultados para más de 55 mil proyectos están disponibles (¡agregue el suyo!), tiene una integración automática de la solicitud de extracción de código (GitHub, Bitbuc...

Clang Static Analyzer es una herramienta de análisis de código fuente que encuentra errores en los programas C, C ++ y Objective-C.

EDoC ++ es una herramienta de análisis de fuente de C ++ diseñada para identificar problemas asociados con el uso de excepciones en el código de C ++. Además, se puede utilizar EDoC ++ para generar documentación detallada

VCG es una herramienta de revisión de seguridad de código automatizada que maneja C / C ++, Java, C #, VB y PL / SQL. Tiene algunas características que, con suerte, deberían ser útiles para cualquier persona que realice revisiones de seguridad de código, especialmente cuando el ...