Because this amounts to analysis of large amounts of software, it was shown as early as 1972 to be impractical.
Оскільки на практиці це означає необхідність аналізувати велику кількість програмного забезпечення, ще в 1972 було показано що подібні заходи є неефективними.