
0
LDRA Testbed proporciona los principales motores de análisis estático y dinámico para el host y el software integrado.LDRA Testbed proporciona los medios para exigir el cumplimiento de los estándares de codificación como MISRA, JSF ++ AV, CERT C, CWE y proporciona visibilidad de fallas de software que normalmente pueden pasar por el proceso estándar de construcción y prueba para convertirse en problemas latentes.Además, la retroalimentación de la efectividad de la prueba se proporciona a través de instalaciones de informes de análisis de cobertura estructural que respaldan los requisitos del estándar DO-178B hasta el nivel A incluido ...
Sitio web:
http://www.ldra.com/Caracteristicas
Categorias
Alternativas a LDRA Testbed para todas las plataformas con cualquier licencia

20
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.
- Gratis
- PortableApps.com
- Windows
- Eclipse
- Linux

15
PVS-Studio
PVS-Studio es un analizador estático que detecta errores en el código fuente de aplicaciones C, C ++ y C #.