Есть ли детерминированная (гарантированная) куча за пределами проверки? Возможно ли это теоретически?

Ссылаясь на утилиты, такие как:

• Электрический Забор (или DUMA для Windows)
• gflags.exe -p /enable C:\Path\To\Your.exe /full (Windows)
• mpatrol
• DrMemory
• Memcheck Вальгринда (для Linux)
• g++ ... -lmcheck
• g++ ... -fmudflap (Linux)
• и т.п.

Есть ли тот, который гарантированный поймать эти доступы 100% времени? (В том смысле, что каждый раз, когда происходит фактическое недопустимое чтение / запись, оно будет обнаружено.)

У меня есть ощущение, что большинство из них используют вероятностные подходы. Но теоретически возможен ли такой детерминистический инструмент или он потребует специального оборудования?

Я понимаю, что это сложный вопрос, требующий больших исследований и глубокого понимания, поэтому я не ожидаю быстрых ответов. Но если кто-нибудь уже знает ответ, пожалуйста, поделитесь!