glibc-vérification est une version modifiée de la glibc pour les développeurs d'applications qui vérifient leur code avec un accès correcteur automatique de la mémoire tels que valgrind, assurer ou Purify.
glibc-audit a été vérifié et nettoyé de sorte que les rapports de l'utilisation par le développeur d'un accès à la mémoire checker sont plus susceptibles d'être intéressant à son développeur, avec moins de «bruit» de la bibliothèque C lui-même. Typiquement, glibc-vérification initialise toutes ses variables locales et structs avant utilisation. Glibc ordinaire utilise des variables non initialisées factices qui sont "de ne pas les soins" à sa logique mais sont déclarées par le vérificateur d'accès à la mémoire.
En outre, le protocole de r_debug.r_brk a été amélioré pour coopérer avec un vérificateur de co-résident. Si le vérificateur expose .r_brk, puis le chargeur d'exécution sera appeler l'auditeur directement chaque fois qu'un événement se produit bibliothèque partagée.
Cela est beaucoup plus pratique que d'utiliser des points d'arrêt. Par défaut, l'ancien protocole point d'arrêt fonctionne exactement comme avant. Le nouveau protocole est binaire compatible avec l'ancienne sur les machines où un pointeur vers une fonction est la même taille comme un pointeur ordinaire. Plates-formes où un pointeur vers une fonction est plus grand (comme HP PA-RISC, le processeur Alpha ou PowerPC) ne sont pas binaire compatible, et auront pour incrémenter r_debug.r_version. Exising clients (tels que gdb) verront aussi une erreur d'incompatibilité de type ignorable quand ils sont construits. Mais pour l'instant, il vaut mieux ne pas contrarier gdb lors de l'exécution sur x86.
Le patch modifie 91 dossiers. Comparé à la glibc-2.3.2-27.9, le code additionnel occupe 18 octets de plus .text, et 24 moins d'octets dans le .so. Sur une échelle de nano-scopique, le coût d'exécution typique est 0 à 3 cycles CPU par routine touchée; l'impact total médian est estimé à moins de 1 seconde par machine et par jour. Dans le cas de * printf (), glibc-vérification est plus rapide que la glibc parce que la source nettoyé-up aide gcc-3.2 éviter la génération de code atroce lors de l'initialisation printf_spec.info pour parse_one_spec () dans / printf-parse.h stdio-commun.
Glibc-vérification a été construit par l'exécution d'un accès vérificateur mémoire sur les cas de test internes de la glibc, puis à analyser les erreurs signalées et la modification de la source. Le processus a révélé bogues d'accès 10 de mémoire dans la glibc-2.3.2-11.9. Sept ont été fixés dans la glibc-2.3.2-27.9, deux autres ont été corrigés dans CVS, et un est un défaut de conception qui ne sera probablement pas fixée.
patchs prédécesseur de glibc-vérification-1 ont été soumis au projet de la glibc, mais ces patches ont été ignorées [utilisateur "guest", mot de passe "guest"], a refusé ou rejeté. Il ya assez de l'amélioration dans la convivialité et la fiabilité de publier glibc-audit-1 séparément.
La glibc-2.3.2-27.9.src.rpm non modifié est disponible à partir de miroirs RedHat. rpmbuild -ba --target i686 a pris environ 4 heures et 2,5 Go d'espace disque sur une machine avec 1.1GHz CPU, 384MB RAM, disque UDMA100.
Quoi de neuf dans cette version:
Commentaires non trouvées