强加语言子集的方法

摘要

本发明涉及强加语言子集的方法。一种操作数据处理系统以便在编译程序中检查对规则的集合的违反的方法，该违反不构成生成编译程序的编译器检测的违反。该方法包括获取依据程序的反编译表示中的规则定义的一个限制规则集。该方法还包括将编译程序反编译成定义该限制规则集的编译程序的反编译表示，在编译程序的反编译表示中检查对该限制规则集的违反，以确定是否违反了任一规则，以及提供指示违反了规则之一的输出。

主权项

一种操作数据处理系统以便在编译程序中检查对规则的集合的违反的方法，该违反不构成用于生成编译程序的编译器检测的违反，所述方法包含：获取依据所述程序的反编译表示中的规则定义的一个限制规则集；将所述编译程序反编译成定义所述限制规则集的所述编译程序的所述反编译表示；在所述编译程序的所述反编译表示中检查对所述限制规则集的违反，以确定是否违反了任一所述规则；以及提供指示违反了所述规则之一的输出。