2009-12-17 7 views

Respuesta

11

Si no recuerdo mal, eso es lo que lint hace.

+1

Lint no solo trata de la sintaxis, sino que también busca construcciones sospechosas como usar una variable antes de configurarlas. –

+3

Lo mismo ocurre con Perl :: Critic. – tsee

13

No es un programa de código abierto llamado Splint:

férula es una herramienta para comprobar estáticamente programas en C para las vulnerabilidades de seguridad y los errores de codificación. Con un esfuerzo mínimo, Splint se puede utilizar como una mejor pelusa. Si se invierte esfuerzo adicional al agregar anotaciones a los programas, Splint puede realizar una comprobación más sólida que la que puede hacerse con cualquier pelusa estándar.

17

programas relacionados C:

  • BLAST (Berkeley Lazy Abstracción herramienta de verificación Software) - un comprobador de modelos de software para programas en C basado en la abstracción perezoso.
  • Clang - Un compilador que incluye un analizador estático.

  • Frama-C - Un marco estático análisis para C.

  • Sparse - Una herramienta diseñada para encontrar fallos en el núcleo de Linux.

  • Splint - Una fuente abierta evolucionó versión de Lint (lenguaje C).

List of tools for Static Code Analysis for C (more than the list above)

5

Es un poco fuera de tema, pero en el tema de analizadores de código valiosos para C es valgrind para coger la gestión de memoria poco fiables.

Cuestiones relacionadas