static-analysis

¿Qué herramientas hay disponibles para el análisis estático contra código C#? Sé sobre FxCop y StyleCop. ¿Hay otros? Me he e ... r mirando eso. ¿Algo más allá de esto? Las opiniones de la vida real sobre las herramientas que ha utilizado son apreciadas.

Java tiene algunas herramientas de análisis estático de código abierto muy buenas, como FindBugs, Checkstyle y PMD. Esas ... tra un conjunto de estándares de codificación? http://spinroot.com/static/ Elegir un análisis de código estático herramienta

Estaba leyendo el capítulo lifetimes del libro Rust, y me encontré con este ejemplo para una vida nombrada/explícita: stru ... é casos son realmente necesarias vidas explícitas para evitar el uso después de la liberación (o alguna otra clase?) errores?

Estoy acostumbrado a que mi compilador se queje cuando hago algo estúpido como un error tipográfico en un nombre de variable, pero JavaScript tiene la costumbre de dejar pasar esto. ¿Hay herramientas de análisis estático para JavaScript?

¿Qué herramientas de análisis de código utiliza en sus proyectos Java? Estoy interesado en todo tipo herramientas de anál ... complemento IDE, o, por ejemplo, un complemento de herramienta de compilación), esa información también vale la pena señalar.

Tengo un repositorio de código fuente grande dividido en varios proyectos. Me gustaría producir un informe sobre el estado de ... lusas para detectar construcciones sospechosas (y por lo tanto probablemente erróneas). ¿Cómo podría construir tal informe?

¿Cómo irías sobre la detección de código muerto en código C/C++? Tengo una base de código bastante grande para trabajar y al ... áreas? Algunas piezas de código todavía utilizan una gran cantidad de preprocesador, puede proceso automatizado manejar eso?

Tengo un gran proyecto heredado de C++ compilado bajo Visual Studio 2008. Sé que hay una cantidad razonable de código 'muert ... líneas, incluyendo muchas de las bibliotecas). ¿Hay alguna opción mejor que funcione bien con un proyecto de Visual Studio?

Me gustaría ver todos los lugares en mi código (C++) que no tienen en cuenta el valor de retorno de una función. ¿Cómo puedo ... debería funcionar incluso si la función y su uso están en archivos diferentes libre herramienta de comprobación estática

¿Hay algún comprobador de shell (específicamente bash o ksh) que pruebe los scripts de shell para el estilo, las mejores prá ... de sytax - algo que analiza/analiza el código real? Probablemente no tengo suerte, pero supongo que no hace daño preguntar.

¿Existen herramientas para realizar análisis estáticos de código Scala, similares a FindBugs y PMD para Java o Splint para C ... 27 de octubre de 2009) revelan muy poco. Las búsquedas en Google (a partir del 01 de febrero de 2010) revelan esta pregunta.

La mayor parte del código que escribo está en Ruby, y de vez en cuando, hago algún error que solo se detecta después de un ti ... lo: a = 20 b = 30 puts c Para ganar bounty, muéstrame una herramienta que detecte la variable c como no creada/indefinida.

¿Cuál es una forma adecuada/preferida de anotar campos que están protegidos con un ReadWriteLock para que herramientas como ... olo el bloqueo de escritura, en la anotación @GuardedBy? ¿FindBugs u otras herramientas soportan ReadWriteLock en @GuardedBy?

¿Hay alguna herramienta que analice el código. NET y encuentre las condiciones de la carrera? Tengo un bit de código que ti ... ualquier cosa fue generada en otro hilo. Estoy buscando una herramienta o quizás un script SQL NDepend (si esto es posible).

¿Cuál es la diferencia entre los dos? Ambos parecen significar que el valor puede ser nulo y debe tratarse en consecuencia, ... : Las dos anotaciones anteriores son parte de JSR-305 / FindBugs: http://findbugs.sourceforge.net/manual/annotations.html

Hay una configuración en Resharper 4 (o incluso en el propio Visual Studio...) que obliga a una advertencia si olvido envolver código en un bloque using, o ommit la llamada de Eliminación adecuada en un bloque finally?

¿Hay herramientas de análisis de código estático para Delphi/Pascal? He visto muchas opciones para C++ y.NET, pero nada para Delphi/Pascal. Idealmente algo que pudiera integrarse en un sistema de integración continua.

Encuentro que JSLint produce muchas advertencias de la forma: Expected 'foo' to have an indentation at X instead at Y. L ... enté: /*jslint indent: false */ Pero eso no causó que se eludieran las advertencias de sangría; causó un error de JSLint.

Estoy escribiendo el código de inicio para un sistema embebido the el código que carga el puntero de pila inicial antes de sa ... ómo determinar el uso máximo de la pila en el sistema embebido? para casi la misma pregunta dirigida al compilador de Keil .)

Considere el programa C compuesto de dos archivos, F1.c: int x; F2.c: int x=2; Mi lectura del párrafo 6.9.2 de el es ... analizador debe quejarse, pero si cada plataforma de compilación lo acepta, entonces no hay razón para advertir al respecto.