static-analysis

5El calor

3Respuesta

Python 2.x: cómo automatizar la aplicación de Unicode en lugar de cadena?

¿Cómo puedo automatizar una prueba para exigir que un cuerpo de código Python 2.x no contenga instancias de cadenas (solo instancias Unicode)? Por ejemplo. ¿Puedo hacerlo desde dentro del código? ¿Hay

python automated-tests static-analysis enforcement 2010-10-28

---

6El calor

4Respuesta

¿Tipo de verificador para JavaScript?

¿Alguien sabe si hay una buena herramienta para analizar el código JavaScript y detectar los errores de tipo? Sé que JavaScript está tipeado de manera débil y dinámica, pero sería muy bueno si pudiera

javascript static-analysis typechecking 2011-02-08

---

5El calor

3Respuesta

¿Herramienta para el control de modelos de proyectos grandes y distribuidos de C++ como KDE?

¿Existe alguna herramienta que pueda manejar el modelo de comprobación de sistemas distribuidos grandes, del mundo real, mayormente C++, como KDE? (KDE es un sistema distribuido en el sentido de que u

c++ static-analysis formal-methods formal-verification model-checking 2010-11-10

---

14El calor

2Respuesta

Xcode Build and Analyze - ¿Es posible omitir deliberadamente el análisis de un archivo en particular?

Tengo un archivo en particular en mi proyecto que está siendo trabajado por otra persona. No quiero meterme con eso y preferiría no esperar a que "Build and Analyze" lo procese. ¿Hay alguna manera de

xcode static-analysis 2011-01-03

---

5El calor

4Respuesta

Sobre downcasting de clase base a la subclase puntero

Una herramienta de verificación estática muestra una violación en el código de abajo: class CSplitFrame : public CFrameWnd ... class CVsApp : public CWinApp CWnd* CVsApp::GetSheetView(LPCSTR Window

c++ mfc casting static-analysis effective-c++ 2010-09-30

---

6El calor

1Respuesta

Cómo excluir las propiedades del ViewModel CA1811

El uso de VS 2010/.Net 4.0, Análisis de código de advertencia CA1811 (véase más adelante) se dispara en todas las propiedades en un modelo de vista incluso a través de ellos se utilizar a través de XA

c# mvvm static-analysis 2010-09-30

---

10El calor

6Respuesta

Herramientas para analizar la base de código de C++

¿Qué herramientas serían más útiles para analizar una base de código de C++? ¿Cuánto cuestan? ¿Podemos gestionar con software gratuito y de prueba, o hay un software comercial que es bueno y que realm

c++ code-analysis static-analysis 2010-11-23

---

5El calor

1Respuesta

¿cuál es la diferencia entre __deref_out_opt y __deref_opt_out?

¿Cuál es la diferencia entre las siguientes anotaciones SAL? void foo(__deref_out_opt PSTR* bar); void foo(__deref_opt_out PSTR* bar);

windows annotations static-analysis microsoft-sal 2011-01-24

---

26El calor

5Respuesta

Mejores prácticas de PyLint?

pyLint parece una buena herramienta para ejecutar análisis de código python. Sin embargo, nuestro principal objetivo es detectar cualquier posible error y no la convención de codificación. Habilitar t

python static-analysis pylint 2010-12-09

---

10El calor

3Respuesta

¿Cómo construir una herramienta de análisis de código estático?

Estoy en proceso de comprender y construir una herramienta de análisis de código estático para un lenguaje propietario de una gran compañía. La razón para hacer esto es que tengo que revisar una base

static-analysis 2010-12-17

---