There is no mathematically rigorous way of proving that any given piece of code does or doesn't do anything. It all depends on the context in which the code is being used.

Building software is a trial-and-error process, and building large pieces of software is a large trial-and-error process. They are asking for the impossible, like providing airport security or anything of a similar scale.

If a law is made of this it will serve nothing but annoyance to actual users of said software. There is just no conceivable way anyone could regulate and enforce that law. It's a good idea in general but it shouldn't have an application in legislation, that's like forbidding pigeons to litter monuments -- no offence, but what the...