Средства и методы разработки

Не знаю что там делает Касперский, но задача в принципе решаемая.  Если компилировать исходник в код виртуального процессора, который содержит виртуально-аппаратные средства контроля типизации, утечки памяти и несанкционированного доступа к структурам данных, контроль целостности стека и принудительной инвалидации памяти, вышедшей из области видимости программы, либо не инициализированной, то уже на этом этапе можно выловить уйму алгоритмических ошибок. Плюс тотальное тестирование и трассировка выполнения ветвей программы. И только после этого трансляция в код целевой платформы. В принципе должно получиться весьма надёжненько.