static-analysis

10El calor

4Respuesta

analizando estáticamente el código Lua para posibles errores

Estoy usando una aplicación de código cerrado que carga scripts Lua y permite cierta personalización modificando estos scripts. Lamentablemente, esa aplicación no es muy buena para generar resultados

lua code-analysis static-analysis 2009-05-14

---

6El calor

4Respuesta

¿Alternativa de código abierto para Mathworks Polyspace?

¿Alguien sabe acerca de un proyecto de código abierto (o tal vez solo de uso gratuito en proyectos comerciales) que es una alternativa al Mathworks Polyspace? Estoy buscando herramientas para la verif

testing code-review static-analysis 2009-05-19

---

32El calor

1Respuesta

Cómo excluir miembros privados de la regla de StyleCop SA1600

¿Alguien sabe cómo cambiar la regla de StyleCop SA1600 que dice que los elementos deben estar documentados para que solo se aplique a las propiedades y no a los miembros privados? Nuestro ORM (DevExpr

customization static-analysis stylecop 2009-05-26

---

6El calor

3Respuesta

¿Buen texto introductorio sobre análisis estático para encontrar errores?

Estoy buscando un buen texto introductorio sobre la teoría del análisis estático para encontrar errores. ¿Alguna recomendación?

language-agnostic static-analysis qa testing-strategies 2009-05-27

---

8El calor

6Respuesta

¿Hay una herramienta de análisis estático para Python, Ruby, Sql, Cobol, Perl y PL/SQL?

Estoy buscando una herramienta de análisis estático para Python, Ruby, Sql, Cobol, Perl, PL/SQL, SQL similar a buscar errores y comprobar el estilo. Estoy buscando calcular el recuento de líneas, iden

python ruby plsql static-analysis cobol 2009-06-05

---

5El calor

10Respuesta

Java Code Use Checker

Estoy trabajando en una biblioteca donde queremos determinar qué parte de nuestra biblioteca se está utilizando. ES DECIR. queremos saber cuántos métodos en nuestra biblioteca son públicos, pero nunca

java code-coverage static-analysis 2009-04-20

---

5El calor

1Respuesta

¿Cómo impongo la asignación a argumentos de métodos usando FindBugs?

Como una alternativa a ensuciar mi código con miles de palabras clave finales frente a mis parámetros, estoy tratando de aplicarlo usando FindBugs. Parece imposible hacerlo, pero debería haber una for

java static-analysis final findbugs pmd 2009-07-28

---

16El calor

4Respuesta

¿Cuáles son los buenos complementos de análisis de código estático?

¿Existen herramientas automáticas de revisión de código para Java? ¿Especialmente complementos para Eclipse? La herramienta que espero es un complemento de revisión de código automatizado o herramient

eclipse code-review static-analysis methodology 2009-04-26

---

32El calor

2Respuesta

¿Debería el verificador estático de contratos de código ser capaz de verificar el límite aritmético?

(también posted on the MSDN forum - pero que no recibe mucho tráfico, por lo que yo puedo ver.) He estado tratando de proporcionar un ejemplo de Assert y Assume. Aquí está el código que tengo: public

static-analysis math code-contracts 2009-08-07

---

7El calor

4Respuesta

Cualquier idea sobre cómo escribir una regla de análisis estático (FXCop) para asegurar que los delegados de eventos se eliminen

Hemos estado pasando por un gran análisis de fuga de memoria y hemos encontrado que uno de los factores contribuyentes ha sido la no eliminación de delegados en eventos causando que los objetos no sea

.net event-handling delegates static-analysis fxcop 2009-05-12

---