Может ли очистить выяснить нарушение доступа к переменным стека?

В настоящее время я использую Valgrind для проверки утечки памяти и использую Purify в качестве альтернативы. Valgrind может обнаружить нарушение прав доступа к массиву, созданному в куче, но не в стеке.

char* a = static_cast<char*>(malloc(sizeof(char) * 5));
a[7] = 'c';
printf("%c\n", a[7]);
free(a);

Valgrind указывает на неправильную запись и чтение в приведенном выше коде, но не в следующем коде.

char a[5] = {0};
a[7] = 'c';
printf("%c\n", a[7]);

Может ли Purify определить нарушение прав доступа к обоим блокам кода?