ThreadSafe

ThreadSafe es una herramienta de análisis de código fuente que identifica riesgos de aplicación y vulnerabilidades de seguridad asociadas con la concurrencia en bases de código Java, utilizando análisis interprocedimental de programa completo. ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]} ThreadSafe se utiliza para identificar y evitar fallos de software en aplicaciones concurrentes que se ejecutan en entornos complejos. ^{[ 1 ] [ 2 ] [ 5 ] [ 6 ]}

ThreadSafe detecta defectos de concurrencia en Java: ^{[ 2 ] [ 3 ] [ 4 ]}

• Condiciones de carrera : que dan lugar a un comportamiento incorrecto o impredecible que resulta difícil de reproducir en un depurador.
• Interbloqueos ^{[ 7 ]} – causados ​​por esperas circulares entre hilos que esperan recursos compartidos.
• Resultados impredecibles, causados ​​por un manejo incorrecto de colecciones concurrentes, un mal manejo de errores o una sincronización mixta de objetos.
• Cuellos de botella en el rendimiento, causados ​​por un uso incorrecto de la API, una sincronización redundante y el uso innecesario de estados mutables compartidos.

ThreadSafe está integrado con el entorno de desarrollo de software Eclipse y con la plataforma de gestión de calidad de software SonarQube . Se proporciona información contextual dentro del entorno de desarrollo para ayudar al desarrollador a investigar y resolver problemas de concurrencia, directamente en el código. ^{[ 2 ] [ 3 ] [ 4 ]} Hay una versión de línea de comandos disponible para usuarios de IDE distintos de Eclipse y para la integración en el proceso de compilación.

ThreadSafe detecta violaciones de las reglas relacionadas con la concurrencia en el estándar de codificación segura CERT Oracle para Java. ^{[ 8 ]}

• Lista de herramientas para el análisis estático de código

• Sitio web oficial