Были опробованы: Rational Purify, старая Insure 5.1 (не встраивается в MSVC 7.1, но проверяет его бинарники), BoundsChecker 7.2.
Скачаны, но не опробованы по причине отсутствия доступа: Insure 7.0, AQTime 4.4, HeapAnalyzer 3.1, splint-3.1.1.
Приз зрительских симпатий достался BoundsChecker-у. Он нам поймал:
Скачаны, но не опробованы по причине отсутствия доступа: Insure 7.0, AQTime 4.4, HeapAnalyzer 3.1, splint-3.1.1.
Приз зрительских симпатий достался BoundsChecker-у. Он нам поймал:
- доступ к нелегальным указателям;
- превращение указателей в нелегальные;
- доступ к неинициализированной памяти;
- вызовы функций по нелегальному адресу;
- нелегальные указатели, переданные параметрами функциям WinAPI и COM;
- отлично показывал call stack для момента возникновения ошибки И для места, где эта память была выделена.
Tags: