Nous, au boulot, on utilise un outil apparement similaire : Polyspace de la société Polyspace Technologies. http://www.polyspace.com/(...)
Je ne l'ai jamais utilisé personellement.
Est-ce que certains d'entre vous connaissent, et savez-vous si il a été passé sur le noyau ?
# Polyspace
Posté par caspal . En réponse à la dépêche 985 bugs dans le noyau Linux. Évalué à 2.
http://www.polyspace.com/(...)
Je ne l'ai jamais utilisé personellement.
Est-ce que certains d'entre vous connaissent, et savez-vous si il a été passé sur le noyau ?