Contrôle de dépassement de tampon pour Boehm GC

bittercoin

Contrôle de dépassement de tampon pour Boehm GC


J’utilise Boehm GC et valgrind.

Mais il semble que valgrind ne puisse pas détecter de débordement dans les tampons GC_malloc’ed.

Est-ce que quelqu’un connaît des outils capables de détecter un débordement de tampon pour Boehm GC?

Steve Barnes

Le programmeur? Votre code doit vérifier les limites de la mémoire tampon avant d’écrire dans cette mémoire tampon plutôt que de compter sur un outil pour l’attraper pour vous.

Mawg

Et puis il n’y aurait pas besoin d’outils comme Valgrind, Boehm, et al? Bienvenue dans le monde réel.

Thomas Weller

Boehm GC est disponible pour Linux uniquement, non? Donc, tous les outils Windows ne correspondent pas à vos critères.

Réponses


 Ira Baxter

Notre outil CheckPointer peut faire ce que vous voulez.

Vous n’avez pas spécifiquement expliqué comment Valgrind a échoué, mais seulement cela. Il est connu que valgrind ne peut pas détecter certains types d’erreurs d’accès à la mémoire. Il ne peut certainement pas détecter les débordements de tampon pour un tampon dans une structure ou un tampon alloué dans l’espace de pile local, car il n’a aucune connaissance de la taille de ces tampons. La zone autour du tampon est par définition un espace de données valide et les accès sont donc « valides » du point de vue de valgrind, même s’il se trouve hors du bord du tampon.

En revanche, CheckPointer lit votre code source C et collecte des informations sur les types de données (et donc leurs tailles). Cela lui donne les informations clés nécessaires pour effectuer cette détection. Après la collecte des informations de type, il instrumente ensuite le code pour détecter les erreurs d’accès à la mémoire. Il détectera les erreurs ci-dessus et une grande variété d’autres.

CheckPointer n’est actuellement disponible que pour C.

Ceci est un produit de mon entreprise, alors ne prenez pas cela comme une recommandation. Je documente simplement qu’il existe et correspond apparemment à vos besoins.

 

#de, #pour, Boehm, contrôle, dépassement, GC, Tampon

 

elle.fr

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *