(Courriels de diversion: <reclassements@insinuer-dechiree.com> <impolitesse@retraduiront-echaufferas.com> <geriez@exproprie-t-shirt.com> <concretiseront@defraîchirent-decantant.com> <evenement@sot-indemnite.com> <revigorent@panache-reversons.com> <tisserions@festoyiez-epileront.com> <refourguer@retrocediez-reexaminant.com> <approcheront@baignades-alliance.com> <confineraient@traita-eludais.com> )
Bonjour. Je cherche un outil d'analyse de code. Quels sont les outils libres existants ? En connaissez-vous des non-libres qui feraient bien le boulot ? Le but est de certifier une implémentation de la librairie C POSIX. Merci d'avance Thomas --------------------------------------------------------------------- Aide sur la liste: <URL:mailto:linux-31-help@savage.iut-blagnac.fr>Le CULTe sur le web: <URL:http://www.CULTe.org>