PC-peluches et Flexelint de Gimpel; Tout le monde les a utilisés?

Question

Je l'ai lu quelques articles de magazine et le site Web pour PC-lint et Flexelint C / C ++ compilateur Gimpel.

Il est vraiment cher (au moins pour moi), mais il semble que cela pourrait avoir un certain mérite pour justifier le coût.

Je me demande si quelqu'un d'autre a utilisé / les a achetés et peuvent donner leur opinion?

Answer 1

Je l'habitude d'utiliser PC-Lint il y a un certain temps. Personnellement, je pense qu'il valait l'investissement. Une partie de la réponse à votre question dépend de quelques autres facteurs:

1.) Avez-vous essayé d'augmenter le niveau d'avertissement du compilateur au plus haut niveau? Très ennuyeux, mais cela a pour effet d'attraper des erreurs sémantiques évidentes. Je ferais ceci avant investi dans un outil spécialisé comme PC-Lint

2.) Qui êtes-vous codant pour? Si cela est un devoir pour l'école, alors il vaut pas la peine. Si c'est un logiciel que vous vendez à d'autres, alors il est un bon investissement dans la production d'un code stable propre.

Sachez que comme tout outil, il peut prendre un certain temps pour apprendre à utiliser PC-Lint efficacement.

Answer 2

Je viens de terminer l'ajout PC-Lint de Gimpel à un processus de construction. Il est une configuration difficile, mais il vaut vraiment la peine. J'ai travaillé pendant quelques années dans le passé en utilisant ce même outil peluchage sur plusieurs projets différents. outils de vérification de code statique permettent de vérifier toutes sortes d'erreurs qu'un compilateur ne vérifiera pas, même si sont fixés au niveau le plus élevé (plus stricte) l'avertissement du compilateur.

En outre, l'outil de Gimpel a un support pour MISRA (ainsi que des règles spécifiques pour la version différente de la norme ANSI C).

Je suis d'accord avec Onorio Catenacci, que si vous travaillez sur un devoir à la maison, il est peu probable vaut le coût. Mais si c'est un processus de construction plus robuste, Lint vous aidera à trouver des erreurs plus tôt dans le cycle de développement, et qui le rend utile.

Answer 3

J'ai utilisé les peluches de Gimpel et d'autres produits en 1985 et a été un client très heureux. J'ai eu un concert de conseil à temps partiel et les outils de Gimpel m'a permis de livrer un élément plus fiable plus rapidement.

Je ne sais pas comment l'état relatif des choses a changé en 25 ans. Je suis amusée de voir que sur Unix au moins, Gimpel distribue toujours le code source obfuscation.

Answer 4

Ce n'est pas une réponse à la question que vous avez posée, mais si vous envisagez un outil d'analyse statique commerciale, vous devriez probablement envisager d'autres outils d'analyse statique des entreprises ainsi. Voir, par exemple, sont-c-statique code analyis-outils- vaut-il? . Et je vous suggère d'ajouter l'étiquette « Analyse statique » à la question.