[發(fā)明專(zhuān)利]強(qiáng)加語(yǔ)言子集的方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201310475645.6
• 申請(qǐng)日: 2013-10-12
• 公開(kāi)（公告）號(hào): CN103810014B
• 公開(kāi)（公告）日: 2019-03-08
• 發(fā)明（設(shè)計(jì)）人: K.米切爾
• 申請(qǐng)（專(zhuān)利權(quán)）人: 是德科技股份有限公司
• 主分類(lèi)號(hào): G06F8/41
• 分類(lèi)號(hào): G06F8/41
• 代理公司: 北京坤瑞律師事務(wù)所 11494
• 代理人: 封新琴

1.一種操作數(shù)據(jù)處理系統(tǒng)以便在編譯程序中檢查對(duì)規(guī)則的集合的違反的方法，該違反不構(gòu)成用于生成編譯程序的編譯器檢測(cè)的違反，所述方法包含：

獲取依據(jù)所述編譯程序的反編譯表示中的規(guī)則定義的一個(gè)限制規(guī)則集；

將所述編譯程序反編譯成定義所述限制規(guī)則集的所述編譯程序的所述反編譯表示；

在所述編譯程序的所述反編譯表示中檢查對(duì)所述限制規(guī)則集的違反，以確定是否違反了任一所述規(guī)則；以及

提供指示違反了所述規(guī)則之一的輸出，

其中所述限制規(guī)則集只應(yīng)用于所述編譯程序的一部分，以及其中反編譯所述編譯程序包含反編譯所述編譯程序的所述部分而不反編譯所述編譯程序的另一部分，所述編譯程序的所述部分包含類(lèi)的子類(lèi)的集合，以及其中反編譯所述編譯程序包含識(shí)別與所述子類(lèi)的集合有關(guān)的指令在所述編譯程序中的地點(diǎn)。

2.如權(quán)利要求1所述的方法，其中所述反編譯表示包含所述編譯程序的一部分的抽象語(yǔ)法樹(shù)表示，并且所述限制規(guī)則集依據(jù)所述抽象語(yǔ)法樹(shù)表示定義。

3.如權(quán)利要求1所述的方法，其中所述編譯程序進(jìn)一步包含識(shí)別與所述子類(lèi)的集合有關(guān)的方法在所述編譯程序中的地點(diǎn)的元數(shù)據(jù)。

4.如權(quán)利要求3所述的方法，其中將反射機(jī)制用于識(shí)別要在所述子類(lèi)中檢查對(duì)所述限制規(guī)則集的所述違反的方法。

5.如權(quán)利要求1所述的方法，其中所述限制規(guī)則集包括要應(yīng)用于所述編譯程序內(nèi)的第一類(lèi)的第一限制規(guī)則集和要應(yīng)用于所述編譯程序內(nèi)的第二類(lèi)的第二限制規(guī)則集，所述第一限制規(guī)則集不同于所述第二限制規(guī)則集。

6.如權(quán)利要求1所述的方法，其中如果所述編譯程序未違反所述限制規(guī)則集，則所述數(shù)據(jù)處理系統(tǒng)生成證書(shū)，所述證書(shū)可被運(yùn)行所述編譯程序的運(yùn)行時(shí)系統(tǒng)讀取。

7.如權(quán)利要求6所述的方法，其中如果所述證書(shū)不存在，則所述運(yùn)行時(shí)系統(tǒng)防止所述編譯程序運(yùn)行。

8.一種包括指令的計(jì)算機(jī)可讀介質(zhì)，所述指令使操作數(shù)據(jù)處理系統(tǒng)可以使用包含如下步驟的方法在編譯程序中檢查對(duì)規(guī)則的集合的違反，該違反不構(gòu)成用于生成編譯程序的編譯器檢測(cè)的違反：

獲取依據(jù)所述編譯程序的反編譯表示中的規(guī)則定義的一個(gè)限制規(guī)則集；

將所述編譯程序反編譯成定義所述限制規(guī)則集的所述編譯程序的所述反編譯表示；

在所述編譯程序的所述反編譯表示中檢查對(duì)所述限制規(guī)則集的違反，以確定是否違反了任一所述規(guī)則；

以及提供指示違反了所述規(guī)則之一的輸出，

其中所述限制規(guī)則集只應(yīng)用于所述編譯程序的一部分，以及其中反編譯所述編譯程序包含反編譯所述編譯程序的所述部分而不反編譯所述編譯程序的另一部分，所述編譯程序的所述部分包含類(lèi)的子類(lèi)的集合，以及其中反編譯所述編譯程序包含識(shí)別與所述子類(lèi)的集合有關(guān)的指令在所述編譯程序中的地點(diǎn)。

9.如權(quán)利要求8所述的計(jì)算機(jī)可讀介質(zhì)，其中所述反編譯表示包含所述編譯程序的一部分的抽象語(yǔ)法樹(shù)表示，并且所述限制規(guī)則集依據(jù)所述抽象語(yǔ)法樹(shù)表示定義。

10.如權(quán)利要求8所述的計(jì)算機(jī)可讀介質(zhì)，其中所述編譯程序進(jìn)一步包含識(shí)別與所述子類(lèi)的集合有關(guān)的方法在所述編譯程序中的地點(diǎn)的元數(shù)據(jù)。

11.如權(quán)利要求10所述的計(jì)算機(jī)可讀介質(zhì)，其中將反射機(jī)制用于識(shí)別要在所述子類(lèi)中檢查對(duì)所述限制規(guī)則集的所述違反的方法。

12.如權(quán)利要求8所述的計(jì)算機(jī)可讀介質(zhì)，其中所述限制規(guī)則集包括要應(yīng)用于所述編譯程序內(nèi)的第一類(lèi)的第一限制規(guī)則集和要應(yīng)用于所述編譯程序內(nèi)的第二類(lèi)的第二限制規(guī)則集，所述第一限制規(guī)則集不同于所述第二限制規(guī)則集。

13.如權(quán)利要求8所述的計(jì)算機(jī)可讀介質(zhì)，其中如果所述編譯程序未違反所述限制規(guī)則集，則所述數(shù)據(jù)處理系統(tǒng)生成證書(shū)，所述證書(shū)可被運(yùn)行所述編譯程序的運(yùn)行時(shí)系統(tǒng)讀取。

14.如權(quán)利要求13所述的計(jì)算機(jī)可讀介質(zhì)，其中如果所述證書(shū)不存在，則所述運(yùn)行時(shí)系統(tǒng)防止所述編譯程序運(yùn)行。