Splint vérifie vos programmes C

Splint est un outil intéressant pour les développeurs qui utilisent le langage C. En effet, celui-ci permet de vérifier si vos sources n’ont pas d’erreurs ou de failles de sécurité. Couplé à des annotations judicieuses de votre code, Splint peu s’avérer plus puissant que Lint.

Jusqu’à maintenant, la version 3.1.1 n’était sortie que pour MorphOS, et cela datait de 2005. Aujourd’hui, la version 3.1.2 est disponible à la fois pour MorphOS et pour AmigaOS 4.x grâce aux efforts conjoints de Mathias ‘Corto’ Parnaudeau et d’Antoine ‘Tcheko’ Dubourg.

Page de téléchargement : Splint sur Aminet

4 Commentaires

Passer au formulaire de commentaire

    • bigdan sur 25 janvier 2009 à 10 h 09 min

    Et merci au passage à Corto et Tcheko !

    NDBatteMan : J’ai rajouté leur nom dans la news. Ça m’apprendra à ne pas lire les readme ! 😉

    • Tcheko sur 25 janvier 2009 à 11 h 53 min

    Tous les up vont pour Mathias qui a fait le plus gros du boulot… 🙂

    J’ai juste recompilé une fois l’engin et vu que c’était assez facile, Mathias a terminé le boulot (recompilation clean, création de l’archive tout ça…).

    Morphos a un gg pointu 🙂

    ++

    • corto sur 25 janvier 2009 à 16 h 21 min

    Tcheko : Je voulais t’envoyer un mail pour te dire que c’était fait mais je suis un peu lent.

    Enfin, les archives sont sorties, depuis le temps qu’on en parlait ! Il a été beaucoup plus facile de compiler pour MorphOS que pour OS4. Mais les 2 fonctionnent et peuvent aider à améliorer la qualité de notre code, à nous développeurs.

    Pour MorphOS, j’ai en effet recompilé pour que si on installe dans GG, il n’y ait pas besoin de créer des variables d’environnement supplémentaires. C’est la même qui avait été fait pour la 3.1.1.

    Pour OS4, j’ai dû recommencer pour que ça suive le même principe, que je n’avais pas appliqué dans un premier temps.

    Je ne sais pas si beaucoup utiliseront ces outils mais ils sont là et à jour (splint 3.1.2 date de fin 2008).

    • DaddyDav sur 26 janvier 2009 à 8 h 53 min

    Et pour les utilisateurs de VBCC ? 🙂

Les commentaires sont désactivés.

Do NOT follow this link or you will be banned from the site!