CN108446542B - 一种基于符号执行的源代码混淆方法及装置 - Google Patents
一种基于符号执行的源代码混淆方法及装置 Download PDFInfo
- Publication number
- CN108446542B CN108446542B CN201810147040.7A CN201810147040A CN108446542B CN 108446542 B CN108446542 B CN 108446542B CN 201810147040 A CN201810147040 A CN 201810147040A CN 108446542 B CN108446542 B CN 108446542B
- Authority
- CN
- China
- Prior art keywords
- array
- source code
- target
- variables
- variable
- 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 75
- 238000003860 storage Methods 0.000 claims abstract description 52
- 238000004590 computer program Methods 0.000 claims description 17
- 238000003780 insertion Methods 0.000 claims description 10
- 230000037431 insertion Effects 0.000 claims description 10
- 238000004458 analytical method Methods 0.000 abstract description 25
- 230000005055 memory storage Effects 0.000 abstract description 4
- 230000008569 process Effects 0.000 description 23
- 238000010586 diagram Methods 0.000 description 12
- 238000004088 simulation Methods 0.000 description 8
- 238000003491 array Methods 0.000 description 7
- 230000002265 prevention Effects 0.000 description 5
- 230000003068 static effect Effects 0.000 description 5
- 238000001514 detection method Methods 0.000 description 4
- 230000006870 function Effects 0.000 description 4
- 238000005336 cracking Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000008859 change Effects 0.000 description 1
- 238000012512 characterization method Methods 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000011022 operating instruction Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000002093 peripheral effect Effects 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
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Multimedia (AREA)
- Technology Law (AREA)
- Computer Hardware Design (AREA)
- Computer Security & Cryptography (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Storage Device Security (AREA)
- Stored Programmes (AREA)
Abstract
本申请公开了一种基于符号执行的源代码混淆方法及装置，可以确定待混淆的源代码中需要保护的目标变量；在源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量；将源代码中的部分所述目标变量替换为任一中间变量。由于部分目标变量被替换为中间变量，因此，可以达到模糊、混淆源代码中的目标表变量的目的，并相应的达到模糊、混淆目标变量与内存存储位置之间的对应关系的目的，给攻击者造成内存中原本存储目标变量的存储位置却为存储中间变量的存储位置的假象。由于攻击者感兴趣的变量是需要保护的目标变量而非中间变量，因此可以欺骗攻击者不对通过中间变量间接表示的目标变量进行分析，最终提高源代码的防逆向分析能力。
Description
技术领域
本申请涉及软件安全技术领域，尤其涉及一种基于符号执行的源代码混淆方法及装置。
背景技术
现如今，移动互联网、物联网、车联网等技术高速发展，终端的数量越来越多，终端中安装的应用程序也越来越多，这给人们的工作和生活带来了极大的便利。应用程序运行过程中会产生一些重要的信息，这引起了攻击者的极大兴趣，使得这些重要信息存在被泄露的风险。
目前，攻击者常使用符号执行模型等静态分析工具对应用程序的源代码进行逆向分析破解，获得应用程序的执行逻辑，从而非法窃取、非法篡改应用程序运行过程中产生的重要信息。
针对上述风险，现有技术常通过对应用程序的源代码进行混淆，提高源代码的防逆向分析能力，降低应用程序运行过程中产生的重要信息被泄露的风险。但是，现有的控制流平坦化等源代码混淆方法依然存在被破解的风险，源代码的防逆向分析能力还有待提高。
发明内容
本申请实施例提供一种基于符号执行的源代码混淆方法及装置，以提高源代码的防逆向分析能力。
第一方面，本申请实施例提供一种基于符号执行的源代码混淆方法，所述方法包括：
确定待混淆的源代码中需要保护的目标变量；
在所述源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量；
将所述源代码中的部分所述目标变量替换为任一所述中间变量。
第二方面，本申请实施例还提供一种基于符号执行的源代码混淆装置，包括：
确定模块，用于确定待混淆的源代码中需要保护的目标变量；
插入模块，用于在所述源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量；
替换模块，用于将所述源代码中的部分所述目标变量替换为任一所述中间变量。
第三方面，本申请实施例还提供了一种电子设备，包括：存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，所述计算机程序被所述处理器执行时实现如第一方面所述的方法的步骤。
第四方面，本申请实施例还提供了一种计算机可读存储介质，所述计算机可读存储介质上存储有计算机程序，所述计算机程序被处理器执行时实现如第一方面所述的方法的步骤。
本申请实施例采用的上述至少一个技术方案，可以确定待混淆的源代码中需要保护的目标变量；在所述源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量；将所述源代码中的部分所述目标变量替换为任一所述中间变量。由于部分目标变量被替换为中间变量，因此，可以达到模糊、混淆源代码中的目标表变量的目的，并相应的达到模糊、混淆目标变量与内存存储位置之间的对应关系的目的，给攻击者造成内存中原本存储目标变量的存储位置却为存储中间变量的存储位置的假象。由于攻击者感兴趣的变量是需要保护的目标变量而非中间变量，因此可以欺骗攻击者不对通过中间变量间接表示的目标变量进行分析，最终提高源代码的防逆向分析能力。
附图说明
此处所说明的附图用来提供对本申请的进一步理解，构成本申请的一部分，本申请的示意性实施例及其说明用于解释本申请，并不构成对本申请的不当限定。在附图中：
图1为本申请实施例提供的一种基于符号执行的源代码混淆方法的一种具体实现方式的流程示意图；
图2为本申请实施例提供的一种基于符号执行的源代码混淆方法的另一种具体实现方式的流程示意图；
图3为本申请实施例提供的一种基于符号执行的源代码混淆装置的一种具体实现方式的结构示意图；
图4为本申请实施例提供的一种基于符号执行的源代码混淆装置的另一种具体实现方式的结构示意图；
图5为本申请实施例提供的电子设备的结构示意图。
具体实施方式
为使本申请的目的、技术方案和优点更加清楚，下面将结合本申请具体实施例及相应的附图对本申请技术方案进行清楚、完整地描述。显然，所描述的实施例仅是本申请一部分实施例，而不是全部的实施例。基于本申请中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本申请保护的范围。
为了提高源代码的防逆向分析能力，本申请实施例提供了一种基于符号执行的源代码混淆方法和装置，下面分别进行说明。
需要说明的是，实施本申请实施例提供的一种基于符号执行的源代码混淆方法及装置的执行主体，可以是客户端，也可以是服务器，本申请实施例对实施上述方法及装置的具体实施主体不做限定。
下面先对本申请实施例提供的一种基于符号执行的源代码混淆方法进行说明。
如图1所示，本申请实施例提供的一种基于符号执行的源代码混淆方法，可以包括如下步骤：
步骤101、确定待混淆的源代码中需要保护的目标变量。
其中，待混淆的源代码可以是需要保护的目标应用程序的源代码。
相应的，需要保护的目标变量，可以是待混淆的源代码中携带重要信息的变量，例如，假设目标应用程序为一款金融APP(Application)，那么目标变量可以是该金融APP的源代码中与支付密码有关的变量。
步骤102、在所述源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量。
上述中间变量可以是指针和数组等变量中的任一种。
程序的静态分析，一般是指在程序不运行的情况下，通过分析程序的源代码或者可执行代码来获得程序在运行时的信息的技术。由于程序没有被真正执行，若要获得程序在运行时的状态信息，可以建立一个模型对程序在运行时的状态进行模拟，通过对这个模型进行操作，可以获得程序的运行状态的近似表示。符号执行就是这样的一个模型。
由于符号执行一般是指用符号值代替真实值模拟执行程序的过程，且在该过程中模拟了变量在内存中的存储位置。
因此，相应的，在一种具体实施方式中，若插入源代码中的中间变量为数组，则可以通过数组在模拟内存中的溢出访问实现对目标变量的访问。
例如，假设待混淆的源代码为：
则，在目标变量x的后面插入数组a[10]后的源代码为：
这样，就可以通过对数组a[10]的上溢出元素a[-1]进行访问，实现对目标变量x的访问。
为了更清楚地理解上述溢出访问的过程，可以用下表1所示的形式来形象的说明目标变量x以及数组a[10]在模拟内存中的相对存储位置关系。
表1
| x |
| a[0] |
| a[1] |
| a[2] |
| a[3] |
| … |
| a[9] |
在表1中，数组a[10]共包括a[0]-a[9]10个元素，并且这10个元素按序占据模拟内存中的10个存储位置，目标变量x占据a[0]之前的一个存储位置，也即目标变量x占据数组a[10]的上溢出元素a[-1]所占据的位置，因此，可以通过访问内存中a[-1]所占据的存储位置，实现对目标变量x的访问。
可以理解，数组a[10]的上溢出元素a[-1]并非数组a[10]中实际包含的元素，而是在存储位置上相对于数组a[10]具有溢出关系的元素。
还需要说明的是，通常情况下，在源代码的正确性检测过程中，溢出访问被视为是一种错误，应避免出现。而本申请实施例正是刻意的利用这种表面属于错误的溢出访问来迷惑攻击者，使攻击者误以为源代码中出现错误，而不去分析该错误背后隐藏的目标变量，从而进一步地提高混淆后的源代码的防逆向分析能力。
在另一种具体实施方式中，若插入源代码中的中间变量为指针，则可以通过访问指针实现对目标变量的访问。
步骤103、将所述源代码中的部分所述目标变量替换为任一所述中间变量。
沿用步骤102中所举的例子，假设在目标变量x后面插入数组a[10]后的源代码为：
那么，将源代码中部分目标变量x替换为数组a[10]的溢出元素a[-1]后，得到的混淆后的源代码为：
这样，当有攻击者利用符号执行模型这样的静态分析工具，对上述混淆后的源代码中的目标变量x进行静态分析时，由于源代码中的部分变量x的名称已修改为中间变量的上溢出元素a[-1]，使得攻击者仅能识别出未修改名称的少量目标变量x，而无法识别出已修改名称的目标变量x，相应的，从根本上达到混淆目标变量x与内存存储位置之间的对应关系的目的，给攻击者造成内存中原本存储目标变量x的存储位置为存储中间变量的存储位置的假象，使得攻击者无法获得变量x在程序运行过程中的完整变化逻辑，从而提高了源代码的防逆向分析能力。
本申请实施例提供的一种基于符号执行的源代码混淆方法，由于部分目标变量被替换为中间变量，因此，可以达到模糊、混淆源代码中的目标表变量的目的，并相应的达到模糊、混淆目标变量与内存存储位置之间的对应关系的目的，给攻击者造成内存中原本存储目标变量的存储位置却为存储中间变量的存储位置的假象。由于攻击者感兴趣的变量是需要保护的目标变量而非中间变量，因此可以欺骗攻击者不对通过中间变量间接表示的目标变量进行分析，最终提高源代码的防逆向分析能力。
可选地，在上述步骤102和步骤103中，为了增加源代码的混淆程度，以进一步增大源代码的防逆向分析能力，可以在源代码中插入多个能够访问所述目标变量的中间变量，并用多个中间变量分别替换源代码中的部分目标变量。因为，插入和替换的能够访问目标变量的中间变量越多，对攻击者造成的迷惑性越大，使得攻击者难以从众多的中间变量中分辨出目标变量，从而更好地提升混淆后的源代码的防逆向分析能力。
可选地，在第一种具体实施方式中，若上述中间变量为数组，则：
上述步骤102具体可以包括：在所述目标变量的前面插入第一数组。
相应的，上述步骤103具体可以包括：将所述源代码中的部分所述目标变量替换为所述第一数组的下溢出元素。
其中，所述下溢出元素的下标为所述第一数组中元素的最大下标与第一数值的和再加1，所述第一数值为所述第一数组与所述目标变量在内存中相隔的存储位置的数量。数组中元素的最大下标一般为该数组中的最后一个元素的下标。
需要再次说明的是，数组的溢出元素并非数组中实际包含的元素，而是在模拟内存中的存储位置上相对于数组具有溢出关系的元素。其中，下溢出元素，指的是存储位置相对于数组中实际包含的元素相对靠后的元素，相应的，上溢出元素，指的是存储位置相对于数组中实际包含的元素相对靠前的元素。
例如，假设待混淆的源代码为：
则，在目标变量x的前面插入第一数组b[5]后的源代码可以为：
相应的，目标变量x以及第一数组b[5]在模拟内存中的相对存储位置关系如表2所示。
表2
| b[0] |
| b[1] |
| … |
| b[4] |
| z |
| x |
并假设第一数组b[5]与目标变量x在内存中相隔的存储位置的数量为m(第一数值)，也即假设变量z占用的存储位置的数量为m，则用于访问目标变量x的下溢出元素的下标等于“4+m+1”。若m＝1，则下溢出元素的下标为“4+1+1＝6”，进而可以通过访问b[6]实现对目标变量x的访问。
更为具体的，若第一数组与目标变量相邻，也即，若第一数组b[5]和目标变量x之间不存在变量z，使得m＝0，则相应的，所述下溢出元素的下标为所述第一数组中元素的最大下标加1。具体的，沿用上述例子，下溢出元素的下标可以为“4+1＝5”，进而可以通过访问b[5]实现对目标变量x的访问。
在该具体实施方式中，由于插入源代码中的中间变量为第一数组，并用第一数组的溢出元素替换所述源代码中与所述目标变量相同的至少一个变量。因此，一方面由于部分变量被替换为中间变量，进而可以欺骗攻击者不对通过中间变量间接表示的目标变量进行分析，最终提高源代码的防逆向分析能力；另一方面，由于在源代码的正确性检测过程中，溢出访问被视为是一种错误，应避免出现，而本申请实施例正是刻意的利用这种表面属于错误的溢出访问来迷惑攻击者，使攻击者误以为源代码中出现错误，而不去分析该错误背后隐藏的目标变量，从而进一步地提高混淆后的源代码的防逆向分析能力。
可选地，在第二种具体实施方式中，若上述中间变量为数组，则：
上述步骤102具体可以包括：在所述目标变量的后面插入第二数组。
相应的，上述步骤103具体可以包括：将所述源代码中的部分所述目标变量替换为所述第二数组的上溢出元素。
其中，所述上溢出元素的下标为所述第二数组中元素的最小下标与第二数值的差再减1，所述第二数值为所述目标变量与所述第二数组在内存中相隔的存储位置的数量。数组中元素的最小下标一般为0。
例如，假设待混淆的源代码为：
则，在目标变量x的后面插入第二数组a[10]后的源代码可以为：
相应的，目标变量x以及第二数组a[10]在模拟内存中的相对存储位置关系如表3所示。
表3
| x |
| y |
| a[0] |
| a[1] |
| … |
| a[9] |
并假设目标变量x与第二数组a[10]在内存中相隔的存储位置的数量为n(第二数值)，也即假设变量y占用的存储位置的数量为n，则用于访问目标变量x的上溢出元素的下标等于“0-n-1”。例如，若n＝1，则上溢出元素的下标为“0-1-1＝-2”，进而可以通过访问a[-2]实现对目标变量x的访问。
更为具体的，若第二数组与目标变量相邻，也即，若第二数组a[10]和目标变量x之间不存在变量y，则n＝0，相应的，所述上溢出元素的下标为所述第二数组中元素的最小下标减1。具体的，上溢出元素的下标可以为“0-1＝-1”，也即可以通过访问a[-1]实现对目标变量x的访问。
在该第二种具体实施方式中，由于插入源代码中的中间变量也为数组，因此可以取得与上述第一种具体实施方式相同的技术效果，此处不再赘述。
可选地，在第三种具体实施方式中，若上述中间变量为数组，则：
上述步骤102具体可以包括：在所述目标变量的前面插入第一数组，并在所述目标变量的后面插入第二数组。
相应的，上述步骤103具体可以包括：将所述源代码中的第一部分所述目标变量替换为所述第一数组的下溢出元素，将所述源代码中的第二部分所述目标变量替换为所述第二数组的上溢出元素。
其中，所述下溢出元素的下标为所述第一数组中元素的最大下标与第一数值的和再加1，所述第一数值为所述第一数组与所述目标变量在内存中相隔的存储位置的数量；所述上溢出元素的下标为所述第二数组中元素的最小下标与第二数值的差再减1，所述第二数值为所述目标变量与所述第二数组在内存中相隔的存储位置的数量。
并且，所述第一部分和所述第二部分互不重叠，也即第一部分目标变量和第二部分目标变量为待混淆的源代码中不同位置出现的目标变量，且所述第一部分和所述第二部分的并集小于所述源代码中的所有目标变量组成的集合，也就是说，并不是对待混淆的源代码中出现的所有目标变量利用中间变量进行替换。
例如，假设待混淆的源代码为：
则，在目标变量x的前面插入第一数组b[5]，在目标变量x的后面插入第二数组a[10]后的源代码可以为：
相应的，第一数组b[5]、目标变量x以及第二数组a[10]在模拟内存中的相对存储位置关系如表4所示。
表4
| b[0] |
| b[1] |
| … |
| b[4] |
| x |
| a[0] |
| a[1] |
| … |
| a[9] |
假设目标变量x与第一数组b[5]在内存中相隔的存储位置的数量为0(第一数值＝0)，则用于访问目标变量x的下溢出元素的下标等于“4+0+1”，也即可以通过访问b[5]实现对目标变量x的访问。
同时，假设目标变量x与第二数组a[10]在内存中相隔的存储位置的数量也为0(第二数值＝0)，则用于访问目标变量x的上溢出元素的下标等于“0-0-1”，进而可以通过访问a[-1]实现对目标变量x的访问。
根据上述例子可知，若所述第一数组和所述第二数组均与所述目标变量相邻，则：所述下溢出元素的下标为所述第一数组中元素的最大下标加1；所述上溢出元素的下标为所述第二数组中元素的最小下标减1。
并且，可以理解，在第一数组和/或所述第二数组与目标变量不相邻时，由于攻击者难以分析出与目标变量相隔较远的数组有间接的联系，因此，对攻击者产生的迷惑性更大，从而也可以更进一步地提升源代码的防逆向分析能力。
此外，相比于上述第一种和第二种具体实施方式，在第三种具体实施方式中，由于在目标变量的前面和后面分别插入了数组，并且对待混淆的源代码中的第一部分目标变量用第一数组的溢出元素替换，对待混淆的源代码中的第二部分目标变量用第二数组的溢出元素替换，使得待混淆的源代码中的目标变量至少用三种名称表示，这对攻击者造成的迷惑性更大，因此更能提高源代码的防逆向分析能力。
在本申请提供的另一实施例中，如图2所示，在上述任一实施例的基础上，本申请实施例提供的一种基于符号执行的源代码混淆方法还可以包括如下步骤：
步骤104、采用预设方法对所述源代码进行处理。
其中，所述预设方法包括下列方法中的一种或多种：控制流平坦化和不透明谓词等。
也就是说，除了在源代码中插入中间变量，并将源代码中的部分目标变量用中间变量替换之外，还可以采用其他方式对源代码进行混淆，以进一步地提高源代码的防逆向破解能力。
相应于上述方法实施例，本申请实施例还提供了一种基于符号执行的源代码混淆装置，下面进行说明。
如图3所示，本申请实时流提供了一种基于符号执行的源代码混淆装置，该装置可以包括：确定模块301、插入模块302和替换模块303。
确定模块301，用于确定待混淆的源代码中需要保护的目标变量。
其中，待混淆的源代码可以是需要保护的目标应用程序的源代码。
相应的，需要保护的目标变量，可以是待混淆的源代码中携带重要信息的变量，例如，假设目标应用程序为一款金融APP(Application)，那么目标变量可以是该金融APP的源代码中与支付密码有关的变量。
插入模块302，用于在所述源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量。
上述中间变量可以是指针和数组等变量中的任一种。
程序的静态分析，一般是指在程序不运行的情况下，通过分析程序的源代码或者可执行代码来获得程序在运行时的信息的技术。由于程序没有被真正执行，若要获得程序在运行时的状态信息，可以建立一个模型对程序在运行时的状态进行模拟，通过对这个模型进行操作，可以获得程序的运行状态的近似表示。符号执行就是这样的一个模型。
由于符号执行一般是指用符号值代替真实值模拟执行程序的过程，且在该过程中模拟了变量在内存中的存储位置。
因此，相应的，在一种具体实施方式中，若插入源代码中的中间变量为数组，则可以通过数组在模拟内存中的溢出访问实现对目标变量的访问。
还需要说明的是，通常情况下，在源代码的正确性检测过程中，溢出访问被视为是一种错误，应避免出现。而本申请实施例正是刻意的利用这种表面属于错误的溢出访问来迷惑攻击者，使攻击者误以为源代码中出现错误，而不去分析该错误背后隐藏的目标变量，从而进一步地提高混淆后的源代码的防逆向分析能力。
在另一种具体实施方式中，若插入源代码中的中间变量为指针，则可以通过访问指针实现对目标变量的访问。
替换模块303，用于将所述源代码中的部分所述目标变量替换为任一所述中间变量。
本申请实施例提供的一种基于符号执行的源代码混淆装置，由于部分目标变量被替换为中间变量，因此，可以达到模糊、混淆源代码中的目标表变量的目的，并相应的达到模糊、混淆目标变量与内存存储位置之间的对应关系的目的，给攻击者造成内存中原本存储目标变量的存储位置却为存储中间变量的存储位置的假象。由于攻击者感兴趣的变量是需要保护的目标变量而非中间变量，因此可以欺骗攻击者不对通过中间变量间接表示的目标变量进行分析，最终提高源代码的防逆向分析能力。
可选地，在上述插入模块302和替换模块303中，为了增加源代码的混淆程度，以进一步增大源代码的防逆向分析能力，可以在源代码中插入多个能够访问所述目标变量的中间变量，并用多个中间变量分别替换源代码中的部分目标变量。因为，插入和替换的能够访问目标变量的中间变量越多，对攻击者造成的迷惑性越大，使得攻击者难以从众多的中间变量中分辨出目标变量，从而更好地提升混淆后的源代码的防逆向分析能力。
在第一种具体实施方式中，若所述中间变量为数组，则：
上述插入模块302，具体用于：在所述目标变量的前面插入第一数组；
上述替换模块303，具体用于：将所述源代码中的部分所述目标变量替换为所述第一数组的下溢出元素，所述下溢出元素的下标为所述第一数组中元素的最大下标与第一数值的和再加1，所述第一数值为所述第一数组与所述目标变量在内存中相隔的存储位置的数量。
在该具体实施方式中，由于插入源代码中的中间变量为第一数组，并用第一数组的溢出元素替换所述源代码中与所述目标变量相同的至少一个变量。因此，一方面由于部分变量被替换为中间变量，进而可以欺骗攻击者不对通过中间变量间接表示的目标变量进行分析，最终提高源代码的防逆向分析能力；另一方面，由于在源代码的正确性检测过程中，溢出访问被视为是一种错误，应避免出现，而本申请实施例正是刻意的利用这种表面属于错误的溢出访问来迷惑攻击者，使攻击者误以为源代码中出现错误，而不去分析该错误背后隐藏的目标变量，从而进一步地提高混淆后的源代码的防逆向分析能力。
在第二种具体实施方式中，若所述中间变量为数组，则：
上述插入模块302，具体用于：在所述目标变量的后面插入第二数组；
上述替换模块303，具体用于：将所述源代码中的部分所述目标变量替换为所述第二数组的上溢出元素，所述上溢出元素的下标为所述第二数组中元素的最小下标与第二数值的差再减1，所述第二数值为所述目标变量与所述第二数组在内存中相隔的存储位置的数量。
在该第二种具体实施方式中，由于插入源代码中的中间变量也为数组，因此可以取得与上述第一种具体实施方式相同的技术效果，此处不再赘述。
在第三种具体实施方式中，若所述中间变量为数组，则：
上述插入模块302，具体用于：在所述目标变量的前面插入第一数组，并在所述目标变量的后面插入第二数组；
上述替换模块303，具体用于：将所述源代码中的第一部分所述目标变量替换为所述第一数组的下溢出元素，将所述源代码中的第二部分所述目标变量替换为所述第二数组的上溢出元素；
其中，所述下溢出元素的下标为所述第一数组中元素的最大下标与第一数值的和再加1，所述第一数值为所述第一数组与所述目标变量在内存中相隔的存储位置的数量；所述上溢出元素的下标为所述第二数组中元素的最小下标与第二数值的差再减1，所述第二数值为所述目标变量与所述第二数组在内存中相隔的存储位置的数量。
并且，所述第一部分和所述第二部分互不重叠，也即第一部分目标变量和第二部分目标变量为待混淆的源代码中不同位置出现的目标变量，且所述第一部分和所述第二部分的并集小于所述源代码中的所有目标变量组成的集合，也就是说，并不是对待混淆的源代码中出现的所有目标变量利用中间变量进行替换。
可以理解，在第一数组和/或所述第二数组与目标变量不相邻时，由于攻击者难以分析出与目标变量相隔较远的数组有间接的联系，因此，对攻击者产生的迷惑性更大，从而也可以更进一步地提升源代码的防逆向分析能力。
此外，相比于上述第一种和第二种具体实施方式，在第三种具体实施方式中，由于在目标变量的前面和后面分别插入了数组，并且对待混淆的源代码中的第一部分目标变量用第一数组的溢出元素替换，对待混淆的源代码中的第二部分目标变量用第二数组的溢出元素替换，使得待混淆的源代码中的目标变量至少用三种名称表示，这对攻击者造成的迷惑性更大，因此更能提高源代码的防逆向分析能力。
在本申请提供的另一实施例中，如图4所示，在上述任一实施例的基础上，本申请实施例提供的一种基于符号执行的源代码混淆装置还可以包括：
处理模块304，用于采用预设方法对所述源代码进行处理。
其中，所述预设方法包括下列方法中的一种或多种：控制流平坦化和不透明谓词等。
也就是说，除了在源代码中插入中间变量，并将源代码中的部分目标变量用中间变量替换之外，还可以采用其他方式对源代码进行混淆，以进一步地提高源代码的防逆向破解能力。
本申请实施例提供的基于符号执行的源代码混淆装置能够实现图1至图2所示的方法实施例中基于符号执行的源代码混淆方法实现的各个过程，并且能取得同样的技术效果，为避免重复，这里不再赘述。
图5示出了是本申请实施例提供的一种电子设备的结构示意图。请参考图5，在硬件层面，该电子设备包括处理器，可选地还包括内部总线、网络接口、存储器。其中，存储器可能包含内存，例如高速随机存取存储器(Random-Access Memory，RAM)，也可能还包括非易失性存储器(non-volatile memory)，例如至少1个磁盘存储器等。当然，该电子设备还可能包括其他业务所需要的硬件。
处理器、网络接口和存储器可以通过内部总线相互连接，该内部总线可以是ISA(Industry Standard Architecture，工业标准体系结构)总线、PCI(PeripheralComponent Interconnect，外设部件互连标准)总线或EISA(Extended Industry StandardArchitecture，扩展工业标准结构)总线等。所述总线可以分为地址总线、数据总线、控制总线等。为便于表示，图5中仅用一个双向箭头表示，但并不表示仅有一根总线或一种类型的总线。
存储器，用于存放程序。具体地，程序可以包括程序代码，所述程序代码包括计算机操作指令。存储器可以包括内存和非易失性存储器，并向处理器提供指令和数据。
处理器从非易失性存储器中读取对应的计算机程序到内存中然后运行，在逻辑层面上形成网络覆盖性能表征装置。处理器，执行存储器所存放的程序，并具体用于执行以下操作：
确定待混淆的源代码中需要保护的目标变量；
在所述源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量；
将所述源代码中的部分所述目标变量替换为任一所述中间变量。
上述如本申请图5所示实施例揭示的基于符号执行的源代码混淆装置执行的方法可以应用于处理器中，或者由处理器实现。处理器可能是一种集成电路芯片，具有信号的处理能力。在实现过程中，上述方法的各步骤可以通过处理器中的硬件的集成逻辑电路或者软件形式的指令完成。上述的处理器可以是通用处理器，包括中央处理器(CentralProcessing Unit，CPU)、网络处理器(Network Processor，NP)等；还可以是数字信号处理器(Digital Signal Processor，DSP)、专用集成电路(Application Specific IntegratedCircuit，ASIC)、现场可编程门阵列(Field－Programmable Gate Array，FPGA)或者其他可编程逻辑器件、分立门或者晶体管逻辑器件、分立硬件组件。可以实现或者执行本申请实施例中的公开的各方法、步骤及逻辑框图。通用处理器可以是微处理器或者该处理器也可以是任何常规的处理器等。结合本申请实施例所公开的方法的步骤可以直接体现为硬件译码处理器执行完成，或者用译码处理器中的硬件及软件模块组合执行完成。软件模块可以位于随机存储器，闪存、只读存储器，可编程只读存储器或者电可擦写可编程存储器、寄存器等本领域成熟的存储介质中。该存储介质位于存储器，处理器读取存储器中的信息，结合其硬件完成上述方法的步骤。
本申请实施例还提出了一种计算机可读存储介质，该计算机可读存储介质存储一个或多个程序，该一个或多个程序包括指令，该指令当被包括多个应用程序的电子设备执行时，能够使该电子设备执行图5所示实施例中基于符号执行的源代码混淆装置执行的方法，并具体用于执行：
确定待混淆的源代码中需要保护的目标变量；
在所述源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量；
将所述源代码中的部分所述目标变量替换为任一所述中间变量。
本领域内的技术人员应明白，本申请的实施例可提供为方法、系统、或计算机程序产品。因此，本申请可采用完全硬件实施例、完全软件实施例、或结合软件和硬件方面的实施例的形式。而且，本申请可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器、CD-ROM、光学存储器等)上实施的计算机程序产品的形式。
本申请是参照根据本申请实施例的方法、设备(系统)、和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理设备的处理器以产生一个机器，使得通过计算机或其他可编程数据处理设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的装置。
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理设备以特定方式工作的计算机可读存储器中，使得存储在该计算机可读存储器中的指令产生包括指令装置的制造品，该指令装置实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能。
这些计算机程序指令也可装载到计算机或其他可编程数据处理设备上，使得在计算机或其他可编程设备上执行一系列操作步骤以产生计算机实现的处理，从而在计算机或其他可编程设备上执行的指令提供用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的步骤。
需要说明的是，本申请中的各个实施例均采用相关的方式描述，各个实施例之间相同相似的部分互相参见即可，每个实施例重点说明的都是与其他实施例的不同之处。尤其，对于装置实施例而言，由于其基本相似于方法实施例，所以描述的比较简单，相关之处参见方法实施例的部分说明即可。
还需要说明的是，术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含，从而使得包括一系列要素的过程、方法、商品或者设备不仅包括那些要素，而且还包括没有明确列出的其他要素，或者是还包括为这种过程、方法、商品或者设备所固有的要素。在没有更多限制的情况下，由语句“包括一个……”限定的要素，并不排除在包括要素的过程、方法、商品或者设备中还存在另外的相同要素。
以上仅为本申请的实施例而已，并不用于限制本申请。对于本领域技术人员来说，本申请可以有各种更改和变化。凡在本申请的精神和原理之内所作的任何修改、等同替换、改进等，均应包含在本申请的权利要求范围之内。
Claims (6)
1.一种基于符号执行的源代码混淆方法，其特征在于，所述方法包括：
确定待混淆的源代码中需要保护的目标变量；
在所述源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量；
将所述源代码中的部分所述目标变量替换为任一所述中间变量；
所述中间变量为数组，则
所述在所述源代码中插入至少一个中间变量，包括：在所述目标变量的前面插入第一数组；
所述将所述源代码中的部分所述目标变量替换为任一所述中间变量，包括：将所述源代码中的部分所述目标变量替换为所述第一数组的下溢出元素；
其中，所述下溢出元素的下标为所述第一数组中元素的最大下标与第一数值的和再加1，所述第一数值为所述第一数组与所述目标变量在内存中相隔的存储位置的数量；
或者，所述在所述源代码中插入至少一个中间变量，包括：在所述目标变量的后面插入第二数组；
所述将所述源代码中的部分所述目标变量替换为任一所述中间变量，包括：将所述源代码中的部分所述目标变量替换为所述第二数组的上溢出元素；
其中，所述上溢出元素的下标为所述第二数组中元素的最小下标与第二数值的差再减1，所述第二数值为所述目标变量与所述第二数组在内存中相隔的存储位置的数量；
或者，所述在所述源代码中插入至少一个中间变量，包括：在所述目标变量的前面插入第一数组，并在所述目标变量的后面插入第二数组；
所述将所述源代码中的部分所述目标变量替换为任一所述中间变量，包括：将所述源代码中的第一部分所述目标变量替换为所述第一数组的下溢出元素，将所述源代码中的第二部分所述目标变量替换为所述第二数组的上溢出元素；
其中，所述下溢出元素的下标为所述第一数组中元素的最大下标与第一数值的和再加1，所述第一数值为所述第一数组与所述目标变量在内存中相隔的存储位置的数量；所述上溢出元素的下标为所述第二数组中元素的最小下标与第二数值的差再减1，所述第二数值为所述目标变量与所述第二数组在内存中相隔的存储位置的数量；
其中，所述第一部分和所述第二部分互不重叠，且所述第一部分和所述第二部分的并集小于所述源代码中的所有目标变量组成的集合。
2.根据权利要求1所述的方法，其特征在于，在所述目标变量的前面插入第一数组，并在所述目标变量的后面插入第二数组的情况下，
所述第一数组和所述第二数组均与所述目标变量相邻，则
所述下溢出元素的下标为所述第一数组中元素的最大下标加1；
所述上溢出元素的下标为所述第二数组中元素的最小下标减1。
3.根据权利要求1-2任一项所述的方法，其特征在于，所述方法还包括：
采用预设方法对所述源代码进行处理；
其中，所述预设方法包括下列方法中的一种或多种：控制流平坦化和不透明谓词。
4.一种基于符号执行的源代码混淆装置，其特征在于，包括：
确定模块，用于确定待混淆的源代码中需要保护的目标变量；
插入模块，用于在所述源代码中插入至少一个中间变量，所述至少一个中间变量用于访问所述目标变量；
替换模块，用于将所述源代码中的部分所述目标变量替换为任一所述中间变量；
所述中间变量为数组，则
所述插入模块，具体用于：在所述目标变量的前面插入第一数组；
所述替换模块，具体用于：将所述源代码中的部分所述目标变量替换为所述第一数组的下溢出元素，所述下溢出元素的下标为所述第一数组中元素的最大下标与第一数值的和再加1，所述第一数值为所述第一数组与所述目标变量在内存中相隔的存储位置的数量；
或者，
所述插入模块，具体用于：在所述目标变量的后面插入第二数组；
所述替换模块，具体用于：将所述源代码中的部分所述目标变量替换为所述第二数组的上溢出元素，所述上溢出元素的下标为所述第二数组中元素的最小下标与第二数值的差再减1，所述第二数值为所述目标变量与所述第二数组在内存中相隔的存储位置的数量；
或者，
所述插入模块，具体用于：在所述目标变量的前面插入第一数组，并在所述目标变量的后面插入第二数组；
所述替换模块，具体用于：将所述源代码中的第一部分所述目标变量替换为所述第一数组的下溢出元素，将所述源代码中的第二部分所述目标变量替换为所述第二数组的上溢出元素；
其中，所述下溢出元素的下标为所述第一数组中元素的最大下标与第一数值的和再加1，所述第一数值为所述第一数组与所述目标变量在内存中相隔的存储位置的数量；所述上溢出元素的下标为所述第二数组中元素的最小下标与第二数值的差再减1，所述第二数值为所述目标变量与所述第二数组在内存中相隔的存储位置的数量；
其中，所述第一部分和所述第二部分互不重叠，且所述第一部分和所述第二部分的并集小于所述源代码中的所有目标变量组成的集合。
5.一种电子设备，其特征在于，包括：存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，所述计算机程序被所述处理器执行时实现如权利要求1至3中任一项所述的方法的步骤。
6.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质上存储有计算机程序，所述计算机程序被处理器执行时实现如权利要求1至3中任一项所述的方法的步骤。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201810147040.7A CN108446542B (zh) | 2018-02-12 | 2018-02-12 | 一种基于符号执行的源代码混淆方法及装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201810147040.7A CN108446542B (zh) | 2018-02-12 | 2018-02-12 | 一种基于符号执行的源代码混淆方法及装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN108446542A CN108446542A (zh) | 2018-08-24 |
| CN108446542B true CN108446542B (zh) | 2021-09-03 |
Family
ID=63192296
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201810147040.7A Active CN108446542B (zh) | 2018-02-12 | 2018-02-12 | 一种基于符号执行的源代码混淆方法及装置 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN108446542B (zh) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN117436040B (zh) * | 2023-12-18 | 2024-04-12 | 常熟理工学院 | 基于不透明谓词的代码混淆方法、系统及存储介质 |
Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103544414A (zh) * | 2013-10-25 | 2014-01-29 | 苏州通付盾信息技术有限公司 | 一种Android系统应用的深度代码混淆方法 |
| EP3098743A1 (en) * | 2015-05-05 | 2016-11-30 | Nxp B.V. | Obscuring software code with split variables |
| EP3125145A1 (en) * | 2015-07-31 | 2017-02-01 | Nxp B.V. | White-box elliptic curve point multiplication |
| CN106650339A (zh) * | 2016-10-13 | 2017-05-10 | 国网江苏省电力公司电力科学研究院 | 一种基于控制流复杂化的Java代码混淆方法 |
| EP3206148A1 (en) * | 2016-02-12 | 2017-08-16 | ABB Schweiz AG | Secure code optimization method and system |
| CN107085677A (zh) * | 2017-03-29 | 2017-08-22 | 武汉斗鱼网络科技有限公司 | 一种Flash中防止代码被破解的方法及系统 |
| CN107229848A (zh) * | 2017-06-12 | 2017-10-03 | 北京洋浦伟业科技发展有限公司 | 一种代码加固方法和装置 |
-
2018
- 2018-02-12 CN CN201810147040.7A patent/CN108446542B/zh active Active
Patent Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103544414A (zh) * | 2013-10-25 | 2014-01-29 | 苏州通付盾信息技术有限公司 | 一种Android系统应用的深度代码混淆方法 |
| EP3098743A1 (en) * | 2015-05-05 | 2016-11-30 | Nxp B.V. | Obscuring software code with split variables |
| EP3125145A1 (en) * | 2015-07-31 | 2017-02-01 | Nxp B.V. | White-box elliptic curve point multiplication |
| EP3206148A1 (en) * | 2016-02-12 | 2017-08-16 | ABB Schweiz AG | Secure code optimization method and system |
| CN106650339A (zh) * | 2016-10-13 | 2017-05-10 | 国网江苏省电力公司电力科学研究院 | 一种基于控制流复杂化的Java代码混淆方法 |
| CN107085677A (zh) * | 2017-03-29 | 2017-08-22 | 武汉斗鱼网络科技有限公司 | 一种Flash中防止代码被破解的方法及系统 |
| CN107229848A (zh) * | 2017-06-12 | 2017-10-03 | 北京洋浦伟业科技发展有限公司 | 一种代码加固方法和装置 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN108446542A (zh) | 2018-08-24 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US10296447B2 (en) | Automated software program repair | |
| CN108537012B (zh) | 基于变量和代码执行顺序的源代码混淆方法及装置 | |
| JP7154365B2 (ja) | ソフトウェアコードをセキュアにするための方法 | |
| CN108446535B (zh) | 基于代码执行顺序的源代码加固方法及装置 | |
| CN108509772B (zh) | 基于执行顺序和单点逻辑的源代码加固方法及装置 | |
| CN104102860A (zh) | 安卓平台应用程序的保护方法、运行方法、装置及系统 | |
| US9716704B2 (en) | Code analysis for providing data privacy in ETL systems | |
| CN108446538B (zh) | 基于状态、符号执行和单点逻辑的源代码加固方法及装置 | |
| CN108446542B (zh) | 一种基于符号执行的源代码混淆方法及装置 | |
| CN108460253B (zh) | 基于顺序、符号执行和单点逻辑的源代码加固方法及装置 | |
| CN108446536B (zh) | 一种基于符号执行和单点逻辑的源代码加固方法及装置 | |
| CN116204891B (zh) | 漏洞利用分析方法、设备及存储介质 | |
| US11250127B2 (en) | Binary software composition analysis | |
| CN108509773B (zh) | 一种源代码加固方法及装置 | |
| CN109241706B (zh) | 基于静态胎记的软件抄袭检测方法 | |
| US11256786B2 (en) | Method to secure a software code | |
| CN108446541B (zh) | 基于有限状态机和符号执行的源代码加固方法及装置 | |
| CN111709951B (zh) | 目标检测网络训练方法及系统及网络及装置及介质 | |
| CN111143851B (zh) | 适用于操作系统内核对象地址泄露的检测方法及系统 | |
| Danese et al. | DOVE: Pinpointing firmware security vulnerabilities via symbolic control flow assertion mining (work-in-progress) | |
| CN112199731A (zh) | 一种数据处理方法、装置及设备 | |
| CN110955595A (zh) | 问题修复方法、装置、电子设备及计算机可读存储介质 | |
| CN111625784B (zh) | 一种应用的反调试方法、相关装置及存储介质 | |
| Pointner et al. | Generic Error Localization for the Electronic System Level | |
| CN108416191B (zh) | 基于不透明谓词和有限状态机加固源代码的方法及装置 |
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 | ||
| TA01 | Transfer of patent application right |
Effective date of registration: 20210816 Address after: 100083 rooms 1-3, 20 / F, block a, Tiangong building, No.30 Xueyuan Road, Haidian District, Beijing Applicant after: BEIJING BANGCLE TECHNOLOGY Co.,Ltd. Applicant after: NANJING BANGBANG INFORMATION TECHNOLOGY Co.,Ltd. Address before: 211106 37 general road, Jiangning economic and Technological Development Zone, Nanjing, Jiangsu Applicant before: NANJING BANGBANG INFORMATION TECHNOLOGY Co.,Ltd. |
|
| TA01 | Transfer of patent application right | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant | ||
| TR01 | Transfer of patent right |
Effective date of registration: 20211203 Address after: 100083 rooms 1-3, 20 / F, block a, Tiangong building, No.30 Xueyuan Road, Haidian District, Beijing Patentee after: BEIJING BANGCLE TECHNOLOGY Co.,Ltd. Address before: 100083 rooms 1-3, 20 / F, block a, Tiangong building, No.30 Xueyuan Road, Haidian District, Beijing Patentee before: BEIJING BANGCLE TECHNOLOGY Co.,Ltd. Patentee before: Nanjing Bangbang Information Technology Co., Ltd |
|
| TR01 | Transfer of patent right |