公开(公告)号：US20110047622A1

公开(公告)日：2011-02-24

申请号：US12546520

申请日：2009-08-24

申请人： Ginger M. Myles ,  Srinivas Vedula ,  Gianpaolo Fasoli ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

发明人： Ginger M. Myles ,  Srinivas Vedula ,  Gianpaolo Fasoli ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

IPC分类号： G06F21/22 ,  G06F9/45 ,  G06F9/46

CPC分类号： G06F21/54 ,  G06F9/4484 ,  G06F9/544 ,  G06F9/545

摘要： Disclosed herein are systems, computer-implemented methods, and computer-readable storage media for call path enforcement. The method includes tracking, during run-time, a run-time call order for a series of function calls in a software program, and when executing a protected function call during run-time, allowing or causing proper execution of a protected function call only if the run-time call order matches a predetermined order. The predetermined order can be an expected run-time call order based on a programmed order of function calls in the software program. The method can include maintaining an evolving value associated with the run-time call order and calling the protected function by passing the evolving value and function parameters corrupted based on the evolving value. The protected function uncorrupts the corrupted parameters based on the passed evolving value and an expected predetermined call order. A buffer containing the uncorrupted parameters can replace the corrupted parameters.

摘要翻译： 本文公开了用于呼叫路径实施的系统，计算机实现的方法和计算机可读存储介质。 该方法包括在运行期间跟踪软件程序中一系列函数调用的运行时调用顺序，以及在运行时执行受保护函数调用时，只允许或导致仅受保护函数调用的正确执行 如果运行时间调用顺序与预定顺序相匹配。 预定顺序可以是基于软件程序中的功能调用的编程顺序的期望的运行时呼叫顺序。 该方法可以包括维护与运行时呼叫顺序相关联的演进值，并通过传递基于演进值而破坏的演进值和功能参数来调用受保护功能。 受保护的功能基于传递的演进值和预期的预定呼叫顺序来破坏已损坏的参数。 包含未受损参数的缓冲区可以替换损坏的参数。

公开(公告)号：US08302210B2

公开(公告)日：2012-10-30

申请号：US12546520

申请日：2009-08-24

申请人： Ginger M. Myles ,  Srinivas Vedula ,  Gianpaolo Fasoli ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

发明人： Ginger M. Myles ,  Srinivas Vedula ,  Gianpaolo Fasoli ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

IPC分类号： G06F21/00

CPC分类号： G06F21/54 ,  G06F9/4484 ,  G06F9/544 ,  G06F9/545

摘要： Disclosed herein are systems, computer-implemented methods, and computer-readable storage media for call path enforcement. The method includes tracking, during run-time, a run-time call order for a series of function calls in a software program, and when executing a protected function call during run-time, allowing or causing proper execution of a protected function call only if the run-time call order matches a predetermined order. The predetermined order can be an expected run-time call order based on a programmed order of function calls in the software program. The method can include maintaining an evolving value associated with the run-time call order and calling the protected function by passing the evolving value and function parameters corrupted based on the evolving value. The protected function uncorrupts the corrupted parameters based on the passed evolving value and an expected predetermined call order. A buffer containing the uncorrupted parameters can replace the corrupted parameters.

摘要翻译： 本文公开了用于呼叫路径实施的系统，计算机实现的方法和计算机可读存储介质。 该方法包括在运行期间跟踪软件程序中一系列函数调用的运行时调用顺序，以及在运行时执行受保护函数调用时，只允许或导致仅受保护函数调用的正确执行 如果运行时间调用顺序与预定顺序相匹配。 预定顺序可以是基于软件程序中的功能调用的编程顺序的期望的运行时呼叫顺序。 该方法可以包括维护与运行时呼叫顺序相关联的演进值，并通过传递基于演进值而破坏的演进值和功能参数来调用受保护功能。 受保护的功能基于传递的演进值和预期的预定呼叫顺序来破坏已损坏的参数。 包含未受损参数的缓冲区可以替换损坏的参数。

公开(公告)号：US20090307657A1

公开(公告)日：2009-12-10

申请号：US12135032

申请日：2008-06-06

申请人： Augustin J. Farrugia ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Ginger M. Myles ,  Gianpaolo Fasoli

发明人： Augustin J. Farrugia ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Ginger M. Myles ,  Gianpaolo Fasoli

IPC分类号： G06F9/44

CPC分类号： G06F21/6209 ,  G06F21/10 ,  G06F21/6218 ,  G06F2221/2107

摘要： Disclosed herein are systems, methods, and computer readable-media for obfuscating array contents in a first array, the method comprising dividing the first array into a plurality of secondary arrays having a combined total size equal to or greater than the first array, expanding each respective array in the plurality of the secondary arrays by a respective multiple M to generate a plurality of expanded arrays, and arranging data elements within each of the plurality of expanded arrays such that a data element located at an index I in a respective secondary array is located at an index I*M, wherein M is the respective multiple M in an associated expanded array, wherein data in the first array is obfuscated in the plurality of expanded arrays. One aspect further splits one or more of the secondary arrays by dividing individual data elements in a plurality of sub-arrays. The split sub-arrays may contain more data elements than the respective secondary array. The principles herein may be applied to single dimensional or multi-dimensional arrays. The obfuscated array contents may be accessed via an index to the first array which is translated to retrieve data elements stored in the plurality of expanded arrays.

摘要翻译： 本文公开了用于在第一阵列中模糊阵列内容的系统，方法和计算机可读介质，所述方法包括将第一阵列划分成具有等于或大于第一阵列的组合总大小的多个次阵列， 通过相应的多个M在多个次级阵列中的相应阵列以生成多个扩展阵列，并且在多个扩展阵列中的每一个内布置数据元素，使得位于相应次级阵列中的索引I处的数据元素是 位于索引I * M处，其中M是相关联的扩展阵列中的相应多个M，其中第一阵列中的数据在多个扩展阵列中被模糊化。 一个方面通过划分多个子阵列中的各个数据元素来进一步分割一个或多个次级阵列。 分割子阵列可能包含比相应的辅助阵列更多的数据元素。 这里的原理可以应用于单维或多维阵列。 混淆的阵列内容可以经由第一数组的索引访问，该索引被转换以检索存储在多个扩展阵列中的数据元素。

公开(公告)号：US20110167414A1

公开(公告)日：2011-07-07

申请号：US12651953

申请日：2010-01-04

申请人： Christopher Arthur Lattner ,  Tanya Michelle Lattner ,  Julien Lerouge ,  Ginger M. Myles ,  Augustin J. Farrugia ,  Pierre Betouin

发明人： Christopher Arthur Lattner ,  Tanya Michelle Lattner ,  Julien Lerouge ,  Ginger M. Myles ,  Augustin J. Farrugia ,  Pierre Betouin

IPC分类号： G06F9/45

CPC分类号： G06F8/70 ,  G06F21/14

摘要： Disclosed herein are systems, methods, and computer-readable storage media for obfuscating by a common function. A system configured to practice the method identifies a set of functions in source code, generates a transformed set of functions by transforming each function of the set of functions to accept a uniform set of arguments and return a uniform type, and merges the transformed set of functions into a single recursive function. The single recursive function can allocate memory in the heap. The stack can contain a pointer to the allocated memory in the heap. The single recursive function can include instructions for creating and explicitly managing a virtual stack in the heap. The virtual stack can emulate what would happen to the real stack if one of the set of functions was called. The system can further compile the source code including the single recursive function.

摘要翻译： 本文公开了用于通过共同功能进行混淆的系统，方法和计算机可读存储介质。 被配置为实施该方法的系统识别源代码中的一组函数，通过将函数集合的每个函数变换为接受统一的参数集合并返回统一类型来生成变换的函数集合，并且将经变换的集合 函数转换为单个递归函数。 单个递归函数可以在堆中分配内存。 堆栈可以包含指向堆中分配的内存的指针。 单个递归函数可以包括用于创建和显式管理堆中的虚拟堆栈的说明。 如果调用了一组函数，虚拟堆栈可以模拟真实堆栈将会发生什么。 该系统可以进一步编译包含单个递归函数的源代码。

公开(公告)号：US20110055638A1

公开(公告)日：2011-03-03

申请号：US12550334

申请日：2009-08-28

申请人： Julien Lerouge ,  Ginger M. Myles ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

发明人： Julien Lerouge ,  Ginger M. Myles ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

IPC分类号： H03M13/09 ,  G06F9/44 ,  G06F11/10 ,  G06F11/07

CPC分类号： G06F21/125 ,  G06F11/1004

摘要： Disclosed herein are methods, systems, and computer-readable storage media for annotation driven integrity program verification. The method includes distributing verification calls configured to verify a function across call paths leading to the function in source code, generating a binary from the source code having placeholders associated with the verification calls, and filling each placeholder in the binary with verification data or reference checksums. Alternatively, the method includes receiving source code having a verification call, replacing the verification call with one or more equivalent verification calls distributed over a call path, replacing each verification call with a checksum function generating placeholders while compiling, generating a binary based on the placeholders, and filling each placeholder in the binary with reference checksums. The system includes a processor and a module controlling the processor to perform the methods. The computer-readable storage medium includes instructions for controlling a computer to perform the methods.

摘要翻译： 本文公开了用于注释驱动的完整性程序验证的方法，系统和计算机可读存储介质。 该方法包括分配验证呼叫，配置为验证源于代码中的功能的呼叫路径之间的功能，从具有与验证呼叫相关联的占位符的源代码生成二进制文件，并用验证数据或引用校验和填充二进制中的每个占位符 。 或者，该方法包括接收具有验证呼叫的源代码，用通过呼叫路径分配的一个或多个等效验证呼叫代替验证呼叫，在编译时用生成占位符的校验和函数替换每个验证呼叫，基于占位符生成二进制 并用引用校验和填充二进制中的每个占位符。 该系统包括处理器和控制处理器来执行方法的模块。 计算机可读存储介质包括用于控制计算机执行方法的指令。

公开(公告)号：US20110041183A1

公开(公告)日：2011-02-17

申请号：US12540195

申请日：2009-08-12

申请人： Ginger M. Myles ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

发明人： Ginger M. Myles ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

IPC分类号： G06F21/22 ,  G06F9/45

CPC分类号： G06F21/14

摘要： Disclosed herein are systems, computer-implemented methods, and computer-readable storage media for obfuscating a function call. The method receives a computer program having an annotated function and determines prolog instructions for setting up a stack frame of the annotated function and epilog instructions for tearing down the stack frame. The method places a first portion of the prolog instructions in the computer program preceding a jump to the annotated function and a second portion of the prolog instructions at a beginning of the annotated function. The method places a first portion of the epilog instructions at an end of the annotated function and a second portion of the epilog instructions in the computer program after the jump. Executing the first and second portions of the prolog instructions together sets up the stack frame. Executing the first and the second portions of the epilog instructions together tears down the stack frame.

摘要翻译： 这里公开的是系统，计算机实现的方法和用于模糊功能调用的计算机可读存储介质。 该方法接收具有注释功能的计算机程序，并且确定用于建立注释功能的堆栈帧的序言指令和用于拆除堆栈帧的epilog指令。 该方法将前导序列指令的第一部分放置在跳转之前的计算机程序中，并且在注释的函数的开始处将序言指令的第二部分放置到注释的函数中。 该方法将epilog指令的第一部分放置在注释功能的末尾，并且在跳转之后在计算机程序中放置epilog指令的第二部分。 执行序言指令的第一和第二部分一起设置堆栈帧。 执行epilog指令的第一部分和第二部分一起撕下堆栈帧。

公开(公告)号：US08412953B2

公开(公告)日：2013-04-02

申请号：US12550334

申请日：2009-08-28

申请人： Julien Lerouge ,  Ginger M. Myles ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

发明人： Julien Lerouge ,  Ginger M. Myles ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

IPC分类号： G06F9/44

CPC分类号： G06F21/125 ,  G06F11/1004

摘要： Disclosed herein are methods, systems, and computer-readable storage media for annotation driven integrity program verification. The method includes distributing verification calls configured to verify a function across call paths leading to the function in source code, generating a binary from the source code having placeholders associated with the verification calls, and filling each placeholder in the binary with verification data or reference checksums. Alternatively, the method includes receiving source code having a verification call, replacing the verification call with one or more equivalent verification calls distributed over a call path, replacing each verification call with a checksum function generating placeholders while compiling, generating a binary based on the placeholders, and filling each placeholder in the binary with reference checksums. The system includes a processor and a module controlling the processor to perform the methods. The computer-readable storage medium includes instructions for controlling a computer to perform the methods.

摘要翻译： 本文公开了用于注释驱动的完整性程序验证的方法，系统和计算机可读存储介质。 该方法包括分配验证呼叫，配置为验证源于代码中的功能的呼叫路径之间的功能，从具有与验证呼叫相关联的占位符的源代码生成二进制文件，并用验证数据或引用校验和填充二进制中的每个占位符 。 或者，该方法包括接收具有验证呼叫的源代码，用通过呼叫路径分配的一个或多个等效验证呼叫代替验证呼叫，在编译时用生成占位符的校验和函数替换每个验证呼叫，基于占位符生成二进制 并用引用校验和填充二进制中的每个占位符。 该系统包括处理器和控制处理器来执行方法的模块。 计算机可读存储介质包括用于控制计算机执行方法的指令。

公开(公告)号：US20100058303A1

公开(公告)日：2010-03-04

申请号：US12202909

申请日：2008-09-02

申请人： Ginger M. Myles ,  Tanya Michelle Lattner ,  Julien Lerouge ,  Augustin J. Farrugia

发明人： Ginger M. Myles ,  Tanya Michelle Lattner ,  Julien Lerouge ,  Augustin J. Farrugia

IPC分类号： G06F9/44

CPC分类号： G06F21/14

摘要： Disclosed herein are systems, methods, and computer readable-media for obfuscating code through conditional expansion obfuscation. The method includes identifying a conditional expression in a computer program, identifying a sequence of conditional expressions that is semantically equivalent to the conditional expression, and replacing the conditional expression with the semantically equivalent sequence of conditional expressions. One option replaces each like conditional expression in the computer program with a diverse set of sequences of semantically equivalent conditional expressions. A second option rearranges computer instructions that are to be processed after the sequence of conditional expression is evaluated so that a portion of the instructions is performed before the entire sequence of conditional expressions is evaluated. A third option performs conditional expansion obfuscation of a conditional statement in combination with branch extraction obfuscation.

摘要翻译： 本文公开了用于通过条件扩展混淆来模糊代码的系统，方法和计算机可读介质。 该方法包括识别计算机程序中的条件表达式，识别在语义上等同于条件表达式的条件表达式的序列，以及用条件表达式的语义等价序列替换条件表达式。 一个选项用计算机程序中的条件表达式替换各种语义等价条件表达式的序列集合。 在评估条件表达式的序列之后，第二个选项重新排列要处理的计算机指令，使得在评估整个条件表达式序列之前执行指令的一部分。 第三个选项与条件语句结合使用分支提取混淆来执行条件扩展模糊处理。

公开(公告)号：US08645930B2

公开(公告)日：2014-02-04

申请号：US12651953

申请日：2010-01-04

申请人： Christopher Arthur Lattner ,  Tanya Michelle Lattner ,  Julien Lerouge ,  Ginger M. Myles ,  Augustin J. Farrugia ,  Pierre Betouin

发明人： Christopher Arthur Lattner ,  Tanya Michelle Lattner ,  Julien Lerouge ,  Ginger M. Myles ,  Augustin J. Farrugia ,  Pierre Betouin

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F8/70 ,  G06F21/14

摘要： Disclosed herein are systems, methods, and computer-readable storage media for obfuscating by a common function. A system configured to practice the method identifies a set of functions in source code, generates a transformed set of functions by transforming each function of the set of functions to accept a uniform set of arguments and return a uniform type, and merges the transformed set of functions into a single recursive function. The single recursive function can allocate memory in the heap. The stack can contain a pointer to the allocated memory in the heap. The single recursive function can include instructions for creating and explicitly managing a virtual stack in the heap. The virtual stack can emulate what would happen to the real stack if one of the set of functions was called. The system can further compile the source code including the single recursive function.

摘要翻译： 本文公开了用于通过共同功能进行混淆的系统，方法和计算机可读存储介质。 被配置为实施该方法的系统识别源代码中的一组函数，通过将函数集合的每个函数变换为接受统一的参数集合并返回统一类型来生成变换的函数集合，并且将经变换的集合 函数转换为单个递归函数。 单个递归函数可以在堆中分配内存。 堆栈可以包含指向堆中分配的内存的指针。 单个递归函数可以包括用于创建和显式管理堆中的虚拟堆栈的说明。 如果调用了一组函数，虚拟堆栈可以模拟真实堆栈将会发生什么。 该系统可以进一步编译包含单个递归函数的源代码。

公开(公告)号：US20100058301A1

公开(公告)日：2010-03-04

申请号：US12198873

申请日：2008-08-26

申请人： Ginger M. MYLES ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

发明人： Ginger M. MYLES ,  Julien Lerouge ,  Tanya Michelle Lattner ,  Augustin J. Farrugia

IPC分类号： G06F9/45

CPC分类号： G06F8/41 ,  G06F8/447 ,  G06F9/44521 ,  G06F21/14

摘要： Disclosed herein are systems, methods, and computer readable-media for obfuscating code. The method includes extracting a conditional statement from a computer program, creating a function equivalent to the conditional statement, creating a pointer that points to the function, storing the pointer in an array of pointers, replacing the conditional statement with a call to the function using the pointer at an index in the array, and during runtime of the computer program, dynamically calculating the index corresponding to the pointer in the array. In one aspect, a subset of instructions is extracted from a path associated with the conditional statement and the subset of instructions is placed in the function to evaluate the conditional statement. In another aspect, the conditional statement is replaced with a call to a select function that (1) calculates the index into the array, (2) retrieves the function pointer from the array using the index, and (3) calls the function using the function pointer. Calls can be routed through a select function before the function pointer is used to call the function evaluating the conditional statement. Each step in the method can be applied to source code of the computer program, an intermediate representation of the computer program, and assembly code of the computer program.

摘要翻译： 这里公开了用于模糊代码的系统，方法和计算机可读介质。 该方法包括从计算机程序中提取条件语句，创建等价于条件语句的函数，创建指向函数的指针，将指针存储在指针数组中，使用对函数的调用替换条件语句 数组中的索引处的指针，以及在计算机程序的运行期间，动态地计算与数组中的指针相对应的索引。 在一个方面，从与条件语句相关联的路径中提取指令子集，并将指令子集置于函数中以评估条件语句。 在另一方面，条件语句被替换为select函数的调用，（1）计算数组中的索引，（2）使用索引从数组中检索函数指针，（3）使用 函数指针。 在使用函数指针调用评估条件语句的函数之前，可以通过select函数路由调用。 该方法中的每一步都可以应用于计算机程序的源代码，计算机程序的中间表示和计算机程序的汇编代码。