Techniquement, les failles que tu as trouvées ne sont pas trouvables avec des vérifiacateurs de code ? Le genre d'outils capable de détecter des buffer overflow ou autre, style Valgrind ?
Je trouve que pour un OS de cette taille, s'il n'a pas été étudié sous l'angle sécurité, 4 failles restent relativement peu. Je me trompe ?