static-analysis

26El calor

9Respuesta

Medición de la complejidad de las sentencias SQL

La complejidad de los métodos en la mayoría de los lenguajes de programación se puede medir en complejidad ciclomática con analizadores de código fuente estático. ¿Hay una métrica similar para medir l

11El calor

2Respuesta

Contratos de código: ¿Por qué algunos invariantes no se consideran fuera de la clase?

consideran este tipo inmutable: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invari

29El calor

1Respuesta

Herramientas para generar gráficos de dependencia de función Haskell (flujo de control)?

Nota no "dependencia funcional". ¿Hay herramientas disponibles que me permitan construir un gráfico de dependencia de función estática a partir del código fuente? Algo que me indica qué funciones depe

6El calor

1Respuesta

¿Hay alguna herramienta de análisis estático que pueda ayudar a detectar las referencias circulares shared_ptr <>?

¿Hay alguna herramienta de análisis estático que pueda ayudar a detectar shared_ptr <> referencias circulares? Incluso si una herramienta de este tipo no pudiera detectar casos complicados, aún sería

8El calor

8Respuesta

¿Existe alguna herramienta de visualización que pueda inspeccionar una base de código Java e informar dependencias entre paquetes?

Tenemos una base de código Java que ha crecido demasiado para un único JAR monolítico (más de 5000 clases). Una de las tareas que estamos investigando es cuánto esfuerzo sería dividir este único JAR e

15El calor

7Respuesta

Idiomas específicamente diseñados para facilitar la verificación estática

Muchos idiomas (quizás todos ellos) están diseñados para facilitar la escritura de programas. Todos ellos tienen dominios diferentes y pretenden simplificar el desarrollo de programas en estos dominio

10El calor

1Respuesta

análisis de código estático para lenguaje de ensamblaje

¿Existen herramientas o bibliotecas de código abierto para el análisis de código estático de lenguajes simples similares a ensamblajes (para programas generados automáticamente) y de qué son capaces (

7El calor

4Respuesta

¿Prepara la instrucción prevenir SQL-Injection aquí

El código siguiente es de SAMATE Reference Dataset. Lo usé para probar una herramienta de análisis estático. Como puede ver, el código debe evitar la inyección de SQL tanto al usar un método de desinf

16El calor

2Respuesta

¿Cómo sabe ReSharper que este tipo de devolución nunca es nulo?

Estoy usando ReSharper 5.0, y me pregunto cómo su función de análisis de código sabe resaltar el siguiente assemblies == null con el comentario "La expresión siempre es falsa". var directory = new Dir

43El calor

3Respuesta

¿Hay alguna herramienta de análisis estático como Lint o Perl :: Critic para scripts de shell?

¿Hay controles de shell (específicamente bash o ksh) que prueben las secuencias de comandos de shell para el estilo, las mejores prácticas, las convenciones de nomenclatura, etc.? (Algo así como Lint