PC-lint y Flexelint de Gimpel;¿Alguien los usó?

Question

He leído algunos artículos de revistas y el sitio web del compilador PC-lint y Flexelint C/C++ de Gimpel.

Es realmente caro (al menos para mí), pero parece que podría tener algún mérito para justificar el coste.

Entonces me pregunto si alguien más los ha usado/comprado y puede dar su opinión.

Answer 1

Solía ​​​​usar PC-Lint hace un tiempo.Personalmente creo que valió la pena la inversión.Parte de la respuesta a su pregunta depende de algunos otros factores:

1.) ¿Ha intentado subir el nivel de advertencia del compilador al nivel más alto?Es muy molesto, pero tiene el efecto de detectar cualquier error semántico obvio.Haría esto antes de invertir en una herramienta especializada como PC-Lint

2.) ¿Para quién estás codificando?Si se trata de una tarea para la escuela, entonces no vale la pena.Si se trata de software que se vende a otros, entonces es una buena inversión producir código limpio y estable.

Tenga en cuenta que, como cualquier herramienta, puede llevar algún tiempo aprender a utilizar PC-Lint de forma eficaz.

Answer 2

acabo de terminar la adición de Gimpel PC-Lint a un proceso de construcción. Es una configuración difícil, pero es definitivamente vale la pena. Trabajé durante unos años en el pasado el uso de esta misma herramienta de pelusa en varios proyectos diferentes. herramientas de código de comprobación estática ayudan a comprobar todo tipo de errores que un compilador no comprobará, incluso si la advertencia de que el compilador se establece en el nivel más alto (más estricta).

Además, la herramienta de Gimpel tiene soporte para MISRA (así como normas específicas para diferentes versiones de ANSI C).

Estoy de acuerdo con Onorio Catenacci, que si usted está trabajando en una tarea, no es probable que vale la pena el costo. Pero si se trata de un proceso de construcción más robusta, pelusa le ayudará a encontrar los errores más temprano en el ciclo de desarrollo, y eso hace que valga la pena.

Answer 3

He utilizado pelusa de Gimpel y otros productos en 1985 y era un cliente muy feliz. Tenía un concierto de consultoría a tiempo parcial y herramientas de Gimpel me permitió entregar un componente más fiable con mayor rapidez.

No sé cómo el estado relativo de las cosas ha cambiado en 25 años. Me divierte ver que en Unix, al menos, Gimpel se sigue distribuyendo código fuente ofuscado.

Answer 4

Esto no es una respuesta a la pregunta que hizo, pero si usted está pensando en una herramienta de análisis estático comercial, probablemente debería considerar herramientas de análisis estático de otras compañías también. Véase, por ejemplo, están-c-static-código-analyis-tools- pena-it? . Y me gustaría sugerir la adición de la etiqueta “Análisis estático” a la pregunta.