static-analysis

7El calor

3Respuesta

Recientemente comencé a usar la herramienta de análisis estático de findbugs en una compilación java que estaba haciendo. El primer informe regresó con un montón de advertencias de alta prioridad. Sie

18El calor

4Respuesta

Cómo usar la opción de filtro de supresión en línea de cppcheck para el código C++?

Me gustaría usar Cppcheck para el análisis de código estático de mi código C++. Aprendí que puedo suprimir algún tipo de advertencia con el comando --inline-suppr. Sin embargo, no puedo encontrar lo q

7El calor

4Respuesta

Detecta aritmética de punteros debido a LARGEADDRESSAWARE

Me gustaría cambiar mi aplicación a LARGEADDRESSAWARE. Uno de los problemas a tener en cuenta es la aritmética del puntero, ya que la diferencia del puntero ya no puede representarse como firmado 32b.

11El calor

2Respuesta

¿Cuándo se inicializan las variables de const estático globales?

Traté de buscar en el sitio para esta pregunta, pero no encontramos que esto exactamente, aunque este tema se está discutiendo mucho ... que tienen esta declaración en un archivo CPP, no dentro de cua

11El calor

1Respuesta

Usando Contract.ForAll in Code Contracts

De acuerdo, tengo otra pregunta de Contratos de Código. Tengo un contrato en un método de interfaz que se parece a esto (otros métodos omitidos para mayor claridad): [ContractClassFor(typeof(IUnboundT

7El calor

3Respuesta

Métodos libres de efectos secundarios en la biblioteca estándar de Java

Estoy trabajando en un análisis para programas Java que requieren información de efectos secundarios sobre llamadas a métodos. Para las clases de biblioteca estándar, me gustaría compilar una lista de

27El calor

3Respuesta

Análisis de hilos estáticos: ¿Buena idea?

Ayudo a mantener y construir sobre una GUI Swing bastante grande, con mucha interacción compleja. A menudo me encuentro arreglando errores que son el resultado de que las cosas entren en estados extra

6El calor

2Respuesta

¿Cómo se analiza estático el código C++ y Objective-C++?

La opción "Crear y analizar" no parece funcionar para los archivos .cpp y .mm. Intenté "clang --analyze" en archivos individuales sin ningún #includes estándar y funciona bien. Sin embargo, no puedo e

8El calor

5Respuesta

¿Qué analizadores estáticos utilizas para ejecutar código Java y por qué?

He experimentado con varios analizadores estáticos diferentes para Java, especialmente Findbugs y PMD. Estoy buscando ejemplos de otros analizadores estáticos que valen la pena ejecutar en código Java

7El calor

4Respuesta

Análisis del código estático para un nuevo idioma. ¿Donde empezar?

Me acaban de dar una nueva tarea que parece va a ser un desafío interesante. El cliente desea que se desarrolle una herramienta de comprobación de estilo de código para su lenguaje de programación int