static-analysis

8El calor

1Respuesta

clang's scan-build no funciona para el archivo cpp simple

No puedo obtener clang's c++-analyzer para trabajar en un archivo C++ de juguete. #include <iostream> using namespace std; int main() { int t[4]; int x,y; t[5]=1; if(x)

6El calor

2Respuesta

Cobertura de prueba de Java: ¿quién cubre qué?

¿Hay una herramienta similar a emma, que informa que prueba cubre una implementación específica?

5El calor

6Respuesta

analizando el código fuente de C++ en el entorno Java

Tengo una aplicación C++ y también tengo el código fuente de eso y se ha creado en .Net framework. Lo que estoy buscando ahora es una herramienta (idealmente gratuita) que obtenga mi código fuente com

34El calor

3Respuesta

javax.annotation: @Nullable vs @CheckForNull

¿Cuál es la diferencia entre los dos? Ambos parecen querer decir que el valor puede ser nulo y debe tratarse de acuerdo con esto, es decir, debe verificarse por nulo. Actualizar: Las dos anotaciones a

19El calor

2Respuesta

Análisis estático de Coffeescript/Comprobación estática de tipos: publicaciones simultáneas

¡Creo que Coffeescript es un lenguaje increíble! Estaba buscando algunos proyectos/problemas/características que agreguen Análisis Estático a Coffeescript. Sin embargo, después de buscar, encontré que

5El calor

2Respuesta

Buscadores de inyección SQL

Tenemos un proyecto cliente/servidor basado en Java. Recientemente, uno de los evaluadores ha encontrado una vulnerabilidad de inyección SQL al probar la aplicación. No contamos con recursos suficient

7El calor

3Respuesta

¿Por qué este código genera una advertencia de "fuga potencial de recursos"?

Eclipse (Juno) da la siguiente advertencia: pérdida de recursos Potencial: 'os' no puede ser cerrado en la primera línea del cuerpo try en este código: static void saveDetails(byte[] detailsData) {

10El calor

3Respuesta

¿Cómo puedo detectar estáticamente las anotaciones @Override que faltan?

Entre Java 5 y Java 6, las reglas con respecto a las anotaciones @Override para métodos que se originan en interfaces (a diferencia de las superclases) se cambiaron, antes de que no se permitieran, pe

5El calor

3Respuesta

Analizador de código estático para código fuente Java para extraer métodos/comentarios

Estoy buscando un analizador que pueda extraer métodos de una clase java (código fuente estático -> archivo .java) y firma de método, comentarios/documentación, variables de cada uno de los métodos. P

8El calor

2Respuesta

duplicaciones Desactivar Sonar en la entidad, DTO paquetes

¿Hay alguna manera de desactivar ciertos parámetros de los paquetes seleccionados en Sónar? Utilizo Sonar para analizar mi proyecto y en los paquetes Entity y DTO tengo un código que es igual: el mism