Splint

Splint

Splint es una herramienta para verificar estáticamente los programas de C en busca de vulnerabilidades de seguridad y errores de codificación.Con un esfuerzo mínimo, Splint se puede usar como una mejor pelusa.
Splint es una herramienta para verificar estáticamente los programas de C en busca de vulnerabilidades de seguridad y errores de codificación.Con un esfuerzo mínimo, Splint se puede usar como una mejor pelusa.Si se invierte un esfuerzo adicional agregando anotaciones a los programas, Splint puede realizar una verificación más fuerte que cualquier pelusa estándar.
splint

Sitio web:

Caracteristicas

Categorias

Alternativas a Splint para todas las plataformas con cualquier licencia

Cppcheck

Cppcheck

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.
Coverity Scan

Coverity Scan

El análisis estático de Coverity Scan permite encontrar y corregir defectos en su proyecto de código abierto Java, C / C ++ o C # de forma gratuita.
Flawfinder

Flawfinder

Flawfinder examina el código fuente e informa sobre posibles debilidades de seguridad (`` fallas '') clasificadas por nivel de riesgo.
lgtm.com

lgtm.com

lgtm.com es una plataforma para análisis de código.Es de uso gratuito para software de código abierto;los resultados para más de 55k proyectos están fácilmente disponibles (¡agregue el suyo propio!), tiene una integración automática de solicitud de extracción de revisión de código (GitHub, Bitbucket, GitLab) y mucho más.
Infer

Infer

Facebook Infer es una herramienta de análisis estático: si le da a Infer algún código Objective-C, Java o C, produce una lista de posibles errores.
VisualCodeGrepper
EDoC++

EDoC++

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 ++.