CN114707124B - 基于代码虚拟化的.net平台代码保护方法和*** - Google Patents
基于代码虚拟化的.net平台代码保护方法和*** Download PDFInfo
- Publication number
- CN114707124B CN114707124B CN202210284350.XA CN202210284350A CN114707124B CN 114707124 B CN114707124 B CN 114707124B CN 202210284350 A CN202210284350 A CN 202210284350A CN 114707124 B CN114707124 B CN 114707124B
- Authority
- CN
- China
- Prior art keywords
- msil
- code
- net platform
- flow graph
- control flow
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 69
- 238000010586 diagram Methods 0.000 claims abstract description 14
- 238000010276 construction Methods 0.000 claims description 12
- 238000005206 flow analysis Methods 0.000 claims description 11
- 238000004458 analytical method Methods 0.000 description 5
- 238000012795 verification Methods 0.000 description 4
- 238000013475 authorization Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 230000003068 static effect Effects 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000000903 blocking effect Effects 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 238000005457 optimization Methods 0.000 description 1
- 238000013519 translation Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM]
- G06F21/12—Protecting executable software
- G06F21/14—Protecting executable software against software analysis or reverse engineering, e.g. by obfuscation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Technology Law (AREA)
- Multimedia (AREA)
- Health & Medical Sciences (AREA)
- Bioethics (AREA)
- General Health & Medical Sciences (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
本发明提出一种基于代码虚拟化的.NET平台代码保护方法,包括构建关于.NET平台程序中每个过程的控制流图,并根据所述控制流图构建数据流图;根据所述控制流图和数据流图,将.NET平台程序中待保护的MSIL代码进行反编译,得到MSIL语法树;将所述MSIL语法树编译为虚拟中间语言。将.NET平台程序中待保护的MSIL代码转换为具有可自定义性、动态性和可转换性,以及难以被分析的虚拟中间语言,可以有效阻碍各类反编译器将被保护的MSIL代码转换为高级语言,使得.NET平台程序的关键代码不被篡改,能够安全运行。
Description
技术领域
本发明涉及软件安全技术领域,更具体地,涉及一种基于代码虚拟化的.NET平台代码保护方法和***。
背景技术
目前许多商业软件经常由于被攻击者通过逆向工程破解,窃取软件中的核心算法和机密信息,导致许多开发者的软件著作权收到侵害。因此,在许多场景下,对于软件代码保护的需求日益增多,例如.NET平台、安卓应用和某些物联网设备上的应用都有如何保障应用代码不被逆向破解的安全需求。.NET平台下所有语言均基于公共语言运行时(CommonLanguage Runtime和遵循公共语言架构的标准,统一被编译为MSIL代码,并由公共语言运行时执行编译后的MSIL代码。MSIL代码为公开基础架构,攻击者可使用各类反编译器将底层的MSIL代码转换回对应的.NET语言,如C#和VB.NET等,从而窃取其中的软件代码信息,侵犯了开发者的权益。
现有对于.NET平台下的MSIL代码保护方案大多使用常量保护技术,即对常量进行加密,在运行对常量解密,或使用控制流混淆技术,通过混淆MSIL代码执行顺序以让静态分析失效。上述方法尽管能增加MSIL代码的复杂度,难以对MSIL代码进行静态分析,但是通过动态调试的方式,依然可以了解程序内部执行流程,进一步获取到MSIL代码信息。
发明内容
本发明为解决被保护的.NET平台程序代码容易被反向编译为高级语言的缺陷,提供一种基于代码虚拟化的.NET平台代码保护方法和***。
为解决上述技术问题,本发明的技术方案如下:
第一个方面,本发明提出一种基于代码虚拟化的.NET平台代码保护方法,包括以下步骤:
S1:构建关于.NET平台程序中每个过程的控制流图,并根据所述控制流图构建数据流图;
S2:根据所述控制流图和数据流图,将.NET平台程序中待保护的MSIL代码进行反编译,得到MSIL语法树;
S3:将所述MSIL语法树编译为虚拟中间语言。
作为优选方案,S1具体包括以下步骤:
S1.1:解析.NET平台程序的元数据,获取.NET平台程序中需要进行虚拟化的方法体,并提取出所述方法体的MSIL代码和异常处理子句;
S1.2:对所述MSIL代码的指令进行解码,将MSIL代码堆栈中的堆栈元素分配到局部变量;
S1.3:根据MSIL代码的跳转指令和异常处理子句,构建控制流图;
S1.4:基于所述控制流图和局部变量,对.NET平台程序进行数据流分析,构建数据流图。
作为优选方案,S1.2具体包括以下步骤:
S1.2.1:从MSIL代码头部开始,按照偏移顺序向后遍历MSIL代码的每一条指令,为每一条指令保存其执行前的堆栈信息;
S1.2.2:根据所述堆栈信息,将MSIL代码堆栈中的每一个堆栈元素分配到局部变量,并按堆栈顺序为所述局部变量分配名称。
作为优选方案,S1.2.2中,在将MSIL代码的堆栈中的每一个堆栈元素分配到局部变量时,通过融合程序的入节点的信息,如果入节点存在64位整数类型的局部变量,则将32位整数类型的局部变量转换为64位整数类型的局部变量;如果数据流图的入节点是引用类型,则将局部变量设置为基类Object类型。
作为优选方案,S1.3中,以MSIL代码的跳转指令和异常处理子句为边界,划分出控制流图的基本块,并将所述跳转指令的跳转源和跳转目标分别设置为控制流图的前驱节点和后继节点,得到控制流图。
作为优选方案,还包括对所述方法体、方法体的MSIL代码和异常处理子句进行验证操作,具体包括以下步骤:
验证方法体内所有操作码的支持状态;
验证MSIL代码的堆栈平衡状态;
验证异常处理子句的顺序排列状态。
作为优选方案,S1.4中,所述对.NET平台程序进行数据流分析包括对局部变量进行分析;
若局部变量存在取地址操作,则为所述局部变量生成虚拟的引用类型;若局部变量进行取地址操作后得到的指针被执行了数学运算,则在分配局部变量时抛出错误。
作为优选方案,S3中,将所述MSIL语法树编译为基于虚拟中间语言的语法树,然后将所述基于虚拟中间语言的语法树编译为虚拟中间语言。
作为优选方案,所述虚拟化保护方法还包括:将所述MSIL语法树编译为虚拟中间语言之后,将所述虚拟中间语言转化为可序列化的形式;将可序列化的虚拟中间语言保存为十六进制数组写进文件中。
第二个方面,本发明还提出一种.NET平台代码虚拟化保护***,应用于上述任一方案上述的基于代码虚拟化的.NET平台代码保护方法,包括:
控制流图构建模块,用于构建.NET平台程序中每个过程的控制流图;
数据流图构建模块,用于根据所述控制流图构建数据流图;
反编译模块,用于根据所述控制流图和数据流图,将.NET平台程序中待保护的MSIL代码进行反编译,得到MSIL语法树;
编译模块,用于将所述MSIL语法树编译为虚拟中间语言。
与现有技术相比,本发明技术方案的有益效果是:将.NET平台程序中待保护的MSIL代码转换为具有可自定义性、动态性和可转换性,以及难以被分析的虚拟中间语言,可以有效阻碍各类反编译器将被保护的MSIL代码转换为高级语言,使得.NET平台程序的关键代码不被篡改,能够安全运行。
附图说明
图1为实施例1中基于代码虚拟化的.NET平台代码保护方法的流程图。
图2为实施例3中实现虚拟中间语言的运行时的流程图。
图3为实施例4中.NET平台代码虚拟化保护***的架构图。
具体实施方式
附图仅用于示例性说明,不能理解为对本专利的限制;
下面结合附图和实施例对本发明的技术方案做进一步的说明。
实施例1
本实施例提出一种基于代码虚拟化的.NET平台代码保护方法,如图1所示,图1为本实施例中基于代码虚拟化的.NET平台代码保护方法的流程图,包括以下步骤:
S1:构建关于.NET平台程序中每个过程的控制流图,并根据所述控制流图构建数据流图。
S2:根据所述控制流图和数据流图,将.NET平台程序中待保护的MSIL代码进行反编译,得到MSIL语法树。
S3:将所述MSIL语法树编译为虚拟中间语言。
在具体实施过程中,通过对.NET平台程序中每个过程进行控制流分析,确定.NET平台程序的执行过程,得到控制流图,并在控制流图的基础上进行数据流分析,得到数据流图。根据控制流图和数据流图,将.NET平台程序中待保护的基于堆栈的MSIL代码进行反编译,将MSIL代码转换到基于局部变量的形式,得到MSIL语法树。MSIL语法树具有与MISL代码相同的语义,不依赖堆栈,其表达形式类似于高级语言,相较于MSIL代码,MSIL语法树具有更便于分析的优点。最后将所述MSIL语法树编译为基于虚拟中间语言的语法树,然后将所述基于虚拟中间语言的语法树编译为虚拟中间语言,让虚拟中间语言安全运行在虚拟语言运行时上。
将.NET平台程序中待保护的MSIL代码转换为具有可自定义性、动态性和可转换性,以及难以被分析的虚拟中间语言,可以有效阻碍各类反编译器将被保护的MSIL代码转换为高级语言,使得.NET平台程序的关键代码不被篡改,能够安全运行在虚拟语言运行时上,适用于对程序关键代码,如验证授权等的代码的保护。
实施例2
本实施例提出一种基于代码虚拟化的.NET平台代码保护方法,包括以下步骤:
S1:构建关于.NET平台程序中每个过程的控制流图,并根据所述控制流图构建数据流图。具体包括以下步骤:
S1.1:解析.NET平台程序的元数据,获取.NET平台程序中需要进行虚拟化的方法体,并提取出所述方法体的MSIL代码和异常处理子句。
本实施例中,通过用户传入的保护参数,标记获取需要进行虚拟化的方法体。
本实施例中,对所述方法体、方法体的MSIL代码和异常处理子句进行验证操作,具体包括以下步骤:
验证方法体内所有操作码的支持状态,确保方法体内所有操作码都是受支持的。如果方法体内存在不支持的操作码,则抛出异常。
验证MSIL代码的堆栈平衡状态,确定MSIL代码的堆栈是否平衡,防止不正确的MSIL代码进入后续处理。如果MSIL代码堆栈不平衡,则抛出异常。
验证异常处理子句的顺序排列状态,确定异常处理子句是否按顺序排列,确保语言的正确。如果异常处理子句排列无效,则抛出异常。
S1.2:对所述MSIL代码的指令进行解码,将MSIL代码堆栈中的堆栈元素分配到局部变量。具体包括以下步骤:
S1.2.1:从MSIL代码头部开始,按照偏移顺序向后遍历MSIL代码的每一条指令,为每一条指令保存其执行前的堆栈信息;
S1.2.2:根据所述堆栈信息,将MSIL代码的堆栈中的每一个堆栈元素分配到局部变量,并按堆栈顺序为所述局部变量分配名称。将MSIL代码的堆栈中的堆栈元素转化为局部变量,使得MSIL代码从基于堆栈的架构转换为基于局部变量的架构,便于后续调试。
本实施例中,在将MSIL代码的堆栈中的每一个堆栈元素分配到局部变量时,需要通过融合所有入节点的信息得出一个兼容的局部变量类型。
对于32位整数类型的局部变量,需要将其转换为本机大小的整数类型的局部变量或64位整数类型的局部变量,以满足入节点值的分配。对于引用类型局部变量,统一转换为基类Object局部变量,不需要计算公共基类,因为所有引用类型在运行时都是指向GC(Garbage Collection,垃圾收集)堆的指针,大小等同于本机整数。通过上述转换处理,可以得到基于变量的中间代码形式,在分析时会比原来的基于堆栈的中间代码更加便捷高效。
S1.3:根据MSIL代码的跳转指令和所述异常处理子句,构建控制流图。
本实施例中,以MSIL代码的跳转指令和所述异常处理子句为边界,划分出控制流图的基本块,并将所述跳转指令的跳转源和跳转目标分别设置为控制流图的前驱节点和后继节点,得到控制流图。所述跳转指令为MSIL代码的分支语句。
S1.4:基于所述控制流图和局部变量,对.NET平台程序进行数据流分析,构建数据流图。
本实施例中,在控制流图的基础上,结合堆栈局部变量信息,进行数据流分析,表示局部变量在何处赋值、取值和取地址。数据流分析是对控制流图中数据流的分析,即确定有关程序中数据的定义和使用的信息的分析。使用数据流分析可以得到变量值的传播过程,数据流分析的结果表示可用于编译和优化的信息,指示了程序执行时数据的流动,这些数据流信息可以被用于将MSIL代码编译为虚拟中间语言。
S2:根据所述控制流图和数据流图,将.NET平台程序中待保护的MSIL代码进行反编译,得到MSIL语法树;
S3:将所述MSIL语法树编译为虚拟中间语言。
本实施例中,将所述MSIL语法树编译为虚拟中间语言之后,将所述虚拟中间语言转化为可序列化的形式;将可序列化的虚拟中间语言保存为十六进制数组写进文件中,用于虚拟机的执行,实现虚拟中间语言的运行时。
本实施例中,在将MSIL语法树编译为虚拟中间语言的过程中,遇到不支持的MSIL语法节点时,选择抛出异常阻止,继续编译。由于虚拟中间语言由安全的托管语言编写的虚拟机执行,存在部分不可模拟的操作,如对GC堆引用的操作,而这类操作在MSIL语言层面与指针操作是一样的。为避免出现数据损坏,需要进行数据流分析,得出变量在何处被取值和幅值,以及在何处被取地址。
若局部变量存在取地址操作,则为所述局部变量生成虚拟的引用类型,虚拟的引用类型抽象所有指针操作,但是不能获取指针的原始地址;若局部变量进行取地址操作后得到的指针被执行了数学运算,由于虚拟的引用类型不能获取指针的原始地址,数学运算将会无效,即这类MSIL语言不能被编译到虚拟中间语言上,需要在分配变量时抛出错误。
实施例3
本实施例在实施例2提出的基于代码虚拟化的.NET平台代码保护方法的基础上作出改进,包括将虚拟中间语言用于虚拟机的执行,实现虚拟中间语言的运行时,如图2所示,图2为本实施例中实现虚拟中间语言的运行时的流程图,具体包括以下步骤:
虚拟运行时在程序入口点执行初始化操作,初始化虚拟运行时需要的变量,加载所有虚拟操作码的执行接口,并虚拟操作码的原始值和执行接口映射到到字典中。
解析方法入口存根传入的参数,得到虚拟中间语言的位置,将虚拟中间语言加载到虚拟机内部,创建虚拟执行上下文。
为当前虚拟操作码调用对应的执行接口,设置下一条虚拟指令的位置,重复此步骤直到方法运行结束。如果执行中出现异常,模拟栈回溯,判断异常是否可被捕获,若异常可捕获,则执行异常处理子句,否则抛出异常,退出虚拟机。
实施例4
本实施例提出一种.NET平台代码虚拟化保护***,如图3所示,图3为.NET平台代码虚拟化保护***的架构图,包括控制流图构建模块、数据流图构建模块、反编译模块和编译模块。
在具体实施过程中,控制流图构建模块构建关于.NET平台程序中每个过程的控制流图,数据流图构建模块根据所述控制流图构建数据流图,具体包括以下步骤:
控制流图构建模块解析.NET平台程序的元数据,获取.NET平台程序中需要进行虚拟化的方法体,并提取出所述方法体的MSIL代码和异常处理子句。对所述MSIL代码的指令进行解码,将MSIL代码的堆栈中的堆栈元素分配到局部变量。根据MSIL代码的跳转指令和所述异常处理子句,构建控制流图。
数据流图构建模块基于所述控制流图和局部变量,对.NET平台程序进行数据流分析,构建数据流图。本实施例中,在控制流图的基础上,结合堆栈局部变量信息,进行数据流分析,表示局部变量在何处赋值、取值和取地址。
反编译模块根据所述控制流图和数据流图,将.NET平台程序中待保护的MSIL代码进行反编译,将MSIL代码转换到基于局部变量的形式,得到MSIL语法树。
编译模块将所述MSIL语法树编译为基于虚拟中间语言的语法树,然后将所述基于虚拟中间语言的语法树编译为虚拟中间语言。
将.NET平台程序中待保护的MSIL代码转换为具有可自定义性、动态性和可转换性,以及难以被分析的虚拟中间语言,可以有效阻碍各类反编译器将被保护的MSIL代码转换为高级语言,使得.NET平台程序的关键代码不被篡改,能够安全运行在虚拟语言运行时上,适用于对程序关键代码,如验证授权等的代码的保护。
附图中描述位置关系的用语仅用于示例性说明,不能理解为对本专利的限制;
显然,本发明的上述实施例仅仅是为清楚地说明本发明所作的举例,而并非是对本发明的实施方式的限定。对于所属领域的普通技术人员来说,在上述说明的基础上还可以做出其它不同形式的变化或变动。这里无需也无法对所有的实施方式予以穷举。凡在本发明的精神和原则之内所作的任何修改、等同替换和改进等,均应包含在本发明权利要求的保护范围之内。
Claims (9)
1.基于代码虚拟化的.NET平台代码保护方法,其特征在于,包括以下步骤:
S1:构建关于.NET平台程序中每个过程的控制流图,并根据所述控制流图构建数据流图;具体包括以下步骤:
S1.1:解析.NET平台程序的元数据,获取.NET平台程序中需要进行虚拟化的方法体,并提取出所述方法体的MSIL代码和异常处理子句;
S1.2:对所述MSIL代码的指令进行解码,将MSIL代码堆栈中的堆栈元素分配到局部变量;
S1.3:根据MSIL代码的跳转指令和异常处理子句,构建控制流图;
S1.4:基于所述控制流图和局部变量,对.NET平台程序进行数据流分析,构建数据流图;
S2:根据所述控制流图和数据流图,将.NET平台程序中待保护的MSIL代码进行反编译,转换到基于局部变量的形式,得到MSIL语法树;
S3:将所述MSIL语法树编译为虚拟中间语言。
2.根据权利要求1所述的基于代码虚拟化的.NET平台代码保护方法,其特征在于,S1.2具体包括以下步骤:
S1.2.1:从MSIL代码头部开始,按照偏移顺序向后遍历MSIL代码的每一条指令,为每一条指令保存其执行前的堆栈信息;
S1.2.2:根据所述堆栈信息,将MSIL代码堆栈中的每一个堆栈元素分配到局部变量,并按堆栈顺序为所述局部变量分配名称。
3.根据权利要求2所述的基于代码虚拟化的.NET平台代码保护方法,其特征在于,S1.2.2中,在将MSIL代码的堆栈中的每一个堆栈元素分配到局部变量时,通过融合程序的入节点的信息,如果入节点存在64位整数类型的局部变量,则将32位整数类型的局部变量转换为64位整数类型的局部变量;如果数据流图的入节点是引用类型,则将局部变量设置为基类Object类型。
4.根据权利要求1所述的基于代码虚拟化的.NET平台代码保护方法,其特征在于,S1.3中,以MSIL代码的跳转指令和异常处理子句为边界,划分出控制流图的基本块,并将所述跳转指令的跳转源和跳转目标分别设置为控制流图的前驱节点和后继节点,得到控制流图。
5.根据权利要求1所述的基于代码虚拟化的.NET平台代码保护方法,其特征在于,S1.1中,还包括对所述方法体、方法体的MSIL代码和异常处理子句进行验证操作,具体包括以下步骤:
验证方法体内所有操作码的支持状态;
验证MSIL代码的堆栈平衡状态;
验证异常处理子句的顺序排列状态。
6.根据权利要求1所述的基于代码虚拟化的.NET平台代码保护方法,其特征在于,S1.4中,所述对.NET平台程序进行数据流分析包括对局部变量进行分析;
若局部变量存在取地址操作,则为所述局部变量生成虚拟的引用类型;若局部变量进行取地址操作后得到的指针被执行了数学运算,则在分配局部变量时抛出错误。
7.根据权利要求1所述的基于代码虚拟化的.NET平台代码保护方法,其特征在于,S3中,将所述MSIL语法树编译为基于虚拟中间语言的语法树,然后将所述基于虚拟中间语言的语法树编译为虚拟中间语言。
8.根据权利要求1所述的基于代码虚拟化的.NET平台代码保护方法,其特征在于,所述方法还包括:将所述MSIL语法树编译为虚拟中间语言之后,将所述虚拟中间语言转化为可序列化的形式;将可序列化的虚拟中间语言保存为十六进制数组写进文件中。
9.NET平台代码虚拟化保护***,应用于如权利要求1-8任一项所述的基于代码虚拟化的.NET平台代码保护方法,其特征在于,包括:
控制流图构建模块,用于构建.NET平台程序中每个过程的控制流图;
数据流图构建模块,用于根据所述控制流图构建数据流图;
反编译模块,用于根据所述控制流图和数据流图,将.NET平台程序中待保护的MSIL代码进行反编译,得到MSIL语法树;
编译模块,用于将所述MSIL语法树编译为虚拟中间语言。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202210284350.XA CN114707124B (zh) | 2022-03-22 | 2022-03-22 | 基于代码虚拟化的.net平台代码保护方法和*** |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202210284350.XA CN114707124B (zh) | 2022-03-22 | 2022-03-22 | 基于代码虚拟化的.net平台代码保护方法和*** |
Publications (2)
Publication Number | Publication Date |
---|---|
CN114707124A CN114707124A (zh) | 2022-07-05 |
CN114707124B true CN114707124B (zh) | 2022-11-29 |
Family
ID=82168612
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202210284350.XA Active CN114707124B (zh) | 2022-03-22 | 2022-03-22 | 基于代码虚拟化的.net平台代码保护方法和*** |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN114707124B (zh) |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101529436A (zh) * | 2006-10-27 | 2009-09-09 | 微软公司 | 用于多样化的防篡改的虚拟化 |
CN106096338A (zh) * | 2016-06-07 | 2016-11-09 | 西北大学 | 一种具有数据流混淆的虚拟化软件保护方法 |
CN107292131A (zh) * | 2017-06-21 | 2017-10-24 | 北京深思数盾科技股份有限公司 | 软件保护方法和装置 |
CN108345773A (zh) * | 2017-07-27 | 2018-07-31 | 江苏通付盾信息安全技术有限公司 | 基于虚拟机的代码保护方法及装置、电子设备、存储介质 |
CN112114933A (zh) * | 2020-08-14 | 2020-12-22 | 咪咕文化科技有限公司 | 应用程序保护方法、电子设备和存储介质 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7155703B2 (en) * | 2003-07-18 | 2006-12-26 | Microsoft Corporation | Virtual method protection |
CN100474253C (zh) * | 2007-11-22 | 2009-04-01 | 北京飞天诚信科技有限公司 | .Net程序保护方法及装置 |
CN101216775A (zh) * | 2008-01-03 | 2008-07-09 | 北京深思洛克数据保护中心 | 一种软件程序的保护方法、装置及*** |
CN113626773B (zh) * | 2020-05-06 | 2024-04-02 | 上海蜚语信息科技有限公司 | 一种基于中间语言的代码保护方法 |
-
2022
- 2022-03-22 CN CN202210284350.XA patent/CN114707124B/zh active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101529436A (zh) * | 2006-10-27 | 2009-09-09 | 微软公司 | 用于多样化的防篡改的虚拟化 |
CN106096338A (zh) * | 2016-06-07 | 2016-11-09 | 西北大学 | 一种具有数据流混淆的虚拟化软件保护方法 |
CN107292131A (zh) * | 2017-06-21 | 2017-10-24 | 北京深思数盾科技股份有限公司 | 软件保护方法和装置 |
CN108345773A (zh) * | 2017-07-27 | 2018-07-31 | 江苏通付盾信息安全技术有限公司 | 基于虚拟机的代码保护方法及装置、电子设备、存储介质 |
CN112114933A (zh) * | 2020-08-14 | 2020-12-22 | 咪咕文化科技有限公司 | 应用程序保护方法、电子设备和存储介质 |
Also Published As
Publication number | Publication date |
---|---|
CN114707124A (zh) | 2022-07-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Nelson et al. | Scaling symbolic evaluation for automated verification of systems code with Serval | |
Nanda et al. | BIRD: Binary interpretation using runtime disassembly | |
CN108681457B (zh) | 基于代码下沉与残码解释的Android应用程序保护方法 | |
Sharif et al. | Automatic reverse engineering of malware emulators | |
Zhao et al. | Formalizing the LLVM intermediate representation for verified program transformations | |
EP1258805B1 (en) | Placing exception throwing instruction in compiled code | |
Myreen | Verified just-in-time compiler on x86 | |
Chen et al. | One engine to fuzz’em all: Generic language processor testing with semantic validation | |
Filaretti et al. | An executable formal semantics of PHP | |
US8090959B2 (en) | Method and apparatus for protecting .net programs | |
CN110245467B (zh) | 基于Dex2C与LLVM的Android应用程序保护方法 | |
Bosamiya et al. | {Provably-Safe} multilingual software sandboxing using {WebAssembly} | |
Bauereiss et al. | Verified security for the Morello capability-enhanced prototype Arm architecture | |
Xu et al. | Constructing precise control flow graphs from binaries | |
Shaw et al. | Automatically fixing c buffer overflows using program transformations | |
Hasabnis et al. | Extracting instruction semantics via symbolic execution of code generators | |
Zhao et al. | Compile-time code virtualization for android applications | |
Cifuentes et al. | Experience in the design, implementation and use of a retargetable static binary translation framework | |
Larmuseau et al. | A secure compiler for ML modules | |
Liu et al. | Exploring missed optimizations in webassembly optimizers | |
Biggar et al. | A practical solution for scripting language compilers | |
Brumley et al. | Alias analysis for assembly | |
Ferrara et al. | CIL to Java-bytecode translation for static analysis leveraging | |
CN114707124B (zh) | 基于代码虚拟化的.net平台代码保护方法和*** | |
Kwon et al. | Assessment of the Java programming language for use in high integrity systems |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |