1. A method of operating a data processing system to examine a compiled program for violations of a set of rules that do not constitute violations detected by a compiler used to compile the compiled program, said method comprising obtaining a restricted rule set defined in terms of rules in a decompiled representation of said program; decompiling said compiled program to said decompiled representation of said compiled program in which said restricted rule set is defined; examining said decompiled representation of said compiled program for a violation of said restricted rule set to determine if any of said rules are violated; and providing an output indicating that one of said rules was violated.