> quelques tonnes de réparations trouvées par sparse (Static Parser, un outil
> développé par Linus pour trouver les déréférencements de pointeurs user-space
> dans le noyau)
Un peu limitatif. Je crois que sparse est destiné à être un peu plus que ça. Il devrait être un outil du genre du stanford checker, et repérer toutes sortes d'erreurs.
Mais forcément, il faut lui dire quel genre d"erreur on cherche, et comment les trouver. Alors peut être que pour le moment, il est un peu limité.
Par exemple, je crois que les erreurs o!=NULL dont il avait été question ici avaient été cherchées via sparse.
# sparse
Posté par mickabouille . En réponse à la dépêche Linux 2.6.8, suivi de près par Linux 2.6.8.1. Évalué à 7.
> développé par Linus pour trouver les déréférencements de pointeurs user-space
> dans le noyau)
Un peu limitatif. Je crois que sparse est destiné à être un peu plus que ça. Il devrait être un outil du genre du stanford checker, et repérer toutes sortes d'erreurs.
Mais forcément, il faut lui dire quel genre d"erreur on cherche, et comment les trouver. Alors peut être que pour le moment, il est un peu limité.
Par exemple, je crois que les erreurs o!=NULL dont il avait été question ici avaient été cherchées via sparse.