Поиск ошибок с помощью вычисления виртуальных значений

Зато можно опираться на имеющиеся ограничения на аргументы, контекст вызова/выполнения функции которые доступны при межпроцедурном анализе.