PVS-Studio

PVS-Studio

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

Categorias

Alternativas a PVS-Studio para Linux

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

libtheora

libtheora es una implementación de referencia del formato de compresión de video Theora que está desarrollando la Fundación Xiph.Org.
Apache Portable Runtime

Apache Portable Runtime

El Apache Portable Runtime (APR) es una biblioteca de soporte para el servidor web Apache.Proporciona un conjunto de API que se asignan al sistema operativo subyacente.
libogg

libogg

Las bibliotecas Libogg proporcionan las funciones necesarias para que los programas lean o escriban flujos de bits formateados con Ogg.
Energia

Energia

Energia es una plataforma de creación rápida de prototipos para el Launchpad MCU de Texas Instruments.Energia se basa en Wiring y Arduino y utiliza el IDE de procesamiento.
CxxProf

CxxProf

CxxProf es una biblioteca de perfiles instrumentada manual para C ++.Su objetivo es proporcionar una fácil integración en los proyectos existentes con la menor sobrecarga posible.
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.
LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) es un proveedor de herramientas de análisis de software, pruebas y trazabilidad de requisitos para los sectores público y privado y pionero en análisis de software estático y dinámico.