the binary level that did not exist at the source code level.
Because they are labor intensive, both techniques are likely to be practical
only for trusted or high-assurance software that is considered very high risk,
e.g., because of suspicious pedigree. Because of intellectual property protection