static-analysis

8El calor

2Respuesta

Enumere todas las excepciones que podría arrojar un método

Sé que Java exige al programador que enumere todas las excepciones que arrojará el método, y así crear una manera fácil de enumerar todas las posibles excepciones lanzadas para el usuario del código.

8El calor

3Respuesta

¿Qué tan buena idea es usar contratos de código en Visual Studio 2010 Professional (es decir, sin comprobación estática) para bibliotecas de clases?

Creo bibliotecas de clases, algunas de las cuales son usadas por otras personas alrededor del mundo, y ahora que estoy empezando a usar Visual Studio 2010 me pregunto qué buena idea es para mí cambiar

7El calor

3Respuesta

Cómo suprimir los defectos de Gendarme?

¿Es posible suprimir un mensaje de defecto de gendarme específico? Me gustaría hacer esto en el código fuente con una bandera o algo así.

5El calor

3Respuesta

¿Cómo sabes si una biblioteca de JavaScript que estás utilizando romperá tu código después de una actualización?

Por lo tanto, está utilizando un conjunto de bibliotecas javascript en un sitio web. Su código de JavaScript llama a varias API, pero de vez en cuando después de una actualización, uno de los cambios

16El calor

5Respuesta

Análisis de código fuente estático con LLVM

Descubrí recientemente el proyecto LLVM (low level virtual machine), y por lo que he escuchado Se puede usar para realizar análisis estáticos en un código fuente. Me gustaría saber si es posible extra

39El calor

6Respuesta

Herramienta de análisis C#/.NET para encontrar condiciones de carrera/interbloqueos

¿Hay alguna herramienta que analice el código .NET y encuentre las condiciones de carrera? Tengo un poco de código que tiene una propiedad pública estática que obtiene o crea un campo estático privado

17El calor

6Respuesta

Comprobador estático gratuito para el código C99

Estoy buscando un comprobador estático gratuito para el código C99 (incluidas las extensiones GCC) con la capacidad de decir explícitamente "estas macros de preprocesador siempre están definidas". Nec

8El calor

9Respuesta

Estilo de codificación Java

¿Cómo se mantiene a sí mismo la codificación según los estándares? Hay stylecop y resharper para C#. ¿Hay herramientas/complementos de eclipse para análisis de código en Java? ¿Cuál de ellos usas?

18El calor

4Respuesta

¿Existen herramientas que encuentren automáticamente el código de copiar y pegar?

¿Existen herramientas que puedan encontrar automáticamente el código de copiar y pegar entre un conjunto de archivos? Estaba pensando en escribir un script para esto, que solo buscaría cadenas iguales

9El calor

6Respuesta

Descubrir errores de NullPointerException usando FindBugs

Cuando ejecuto FindBugs en este código, informa NO problemas. boolean _closed = false; public void m1(@Nullable String text) { if(_closed) return; System.out.println(text.toLowerCas