Чем пользуетесь для поиска проблем с указателями в c++ коде на Windows?

Недавно в большом проекте на c++ нашли баг из-за которого значение переменной меняется "само по себе". Основное предположение в том, что где-то в другом месте неправильно интерпретируется указатель (точнее данные попадают за границы массива/структуры) и затирает кусок памяти в котором лежит эта переменная.

В связи с этим возник общий вопрос о том, как вообще лучше искать подобные ошибки в с++ коде. Уже успел попробовать расширенный анализ кода в Visual Studio и Application Verifier. Интересно узнать, чем ещё можно воспользоваться, в том числе какие техники можно использовать.