Resultados de la búsqueda a petición "static-analysis"
Marking tipos primitivos con tipos fantasmas en Scala
En Scala puedo usar el concepto de tipos fantasma (como se describe, por ejemplo,aqu [http://blog.rafaelferreira.net/2008/07/type-safe-builder-pattern-in-scala.html] ) para marcar tipos y borrar esta información en tiempo de ejecución. ...
¿Cómo determinar el uso máximo de la pila en un sistema integrado con gcc?
Estoy escribiendo el código de inicio para un sistema incrustado, el código que carga el puntero de la pila inicial antes de saltar a la función main (), y necesito decirle cuántos bytes de pila usará mi aplicación (o algunos ...
Las herramientas de análisis de código estático C ++ valen la pena?
Nuestra gerencia ha estado hablando recientemente con algunas personas que venden C ++ herramientas de análisis estático [http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis]. Por supuesto, los vendedores dicen que encontrarán ...
¿Verificación de archivos de origen C perjudicial?
Hay una manera de programáticamente comprobar si un soloC source file es potencialmente dañino? I sabe que ningún cheque arrojará una precisión del 100%, pero estoy interesadoal meno para hacer algunas comprobaciones básicas que levantarán ...
Herramienta de Java para mejorar mi desarrollo de código limpio
¿Hay alguna herramienta (análisis estático / refactorización / ...) para Java especialmente diseñada paraclean desarrollo de código (CCD) [http://www.clean-code-developer.com]? Conozco las herramientas habituales para el análisis estático ...
Encuentre excepciones no detectadas en el código C #
Me pregunto si hay una herramienta para encontrar excepciones no detectadas en C # usando análisis de código estático. Básicamente quiero seleccionar un método A () y quiero una lista de todas las excepciones lanzadas por el método A () y todos ...
tracking de variables estáticas no inicializadas
Necesito depurar una biblioteca C matemática fea y enorme, probablemente una vez producida por f2c. El código está abusando deloca variables estáticas, y desafortunadamente en algún lugar parece explotar el hecho de que se ...
Tool para verificar automáticamente el estilo de docstring de acuerdo con PEP257 [cerrado]
Herramientas como pep8 [http://pypi.python.org/pypi/pep8] puede verificar el estilo del código fuente, pero no verifican si las cadenas de documentos se han modificado según pep257 [http://www.python.org/dev/peps/pep-0257/], ...
code ejemplos para aprender programación de back-end LLVM
Estoy aprendiendo programación backends LLVM. Actualmente me interesan los pases de análisis, las transformaciones posteriores del programa. (Supongo que ya que seré más fluido con el análisis, entonces será el momento para las transformaciones ...
Cómo excluir miembros privados de la regla StyleCop SA1600
¿Alguien sabe cómo cambiar la regla SA1600 de StyleCop que dice que los elementos deben documentarse para que solo se aplique a las propiedades y no a los miembros privados? Nuestro ORM (DevExpress XPO) requiere que tenga miembros privados para ...