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