The irony of this is that unless you have solved the halting problem, how do you want to prove that a given piece of software does not do something illegal like

The irony of this is that unless you have solved the halting problem, how do you want to prove that a given piece of software does not do something illegal like facilitate gambling? They are called "general purpose computers" for a reason.