专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08516443B2 Context-sensitive analysis framework using value flows 有权
标题翻译：使用价值流的上下文敏感分析框架
公开(公告)号：US08516443B2
公开(公告)日：2013-08-20
申请号：US13117078
申请日：2011-05-26
申请人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
发明人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
IPC分类号： G06F9/44
CPC分类号： G06F8/75 , G06F11/3604
摘要： In general, in one aspect, the invention relates to a method for identifying program properties in source code. The method includes: identifying a set of program objects corresponding to a potential program property within the source code; identifying a function associated with the set of program objects in the source code; identifying an input and an output of the function in the source code; creating a value flow graph by: creating a function input node representing the input; creating a function output node representing the output; identifying value flow functions, where each value flow function defines a conditional dependency between a pair of graph nodes, and creating, based on the value flow functions, directed graph edges modeling a potential flow of data through the value flow graph; and identifying a feasible path in the value flow graph depicting an occurrence of the potential program property in the source code.
摘要翻译：通常，一方面，本发明涉及用于识别源代码中的程序属性的方法。该方法包括：识别与源代码内的潜在程序属性相对应的一组程序对象; 识别与所述源代码中的所述一组程序对象相关联的功能; 识别源代码中的功能的输入和输出; 通过以下方式创建价值流程图：创建表示输入的函数输入节点; 创建表示输出的功能输出节点; 识别价值流函数，其中每个价值流函数定义一对图形节点之间的条件依赖关系，并且基于所述价值流函数创建通过所述价值流图对潜在数据流建模的有向图边缘; 并且在所述值流程图中识别描绘所述源代码中的潜在程序属性的发生的可行路径。

2. 发明授权

US08473927B2 Points-to analysis using value flow 有权
标题翻译：使用价值流分析点分析
公开(公告)号：US08473927B2
公开(公告)日：2013-06-25
申请号：US13117058
申请日：2011-05-26
申请人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
发明人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/75 , G06F8/434 , G06F11/3604
摘要： In general, in one aspect, the invention relates to a method for performing points-to analysis by generating a value flow graph for source code. The method steps include: initializing the value flow graph including a set of memory objects and a set of edges based on Base and Assignment instructions, where the set of edges represents inclusion constraints between the set of memory objects and a set of pointer variables; determining a pointed-to-by set including at least one pointer variable of the set of pointer variables; updating the value flow graph by introducing a flow edge based on an indirect reference, where the flow edge is related to a memory object of the set of memory objects that is added to a working list; updating the pointed-to-by set based on the memory object in the working list; and analyzing the source code using the pointed-to-by set.
摘要翻译：一般来说，一方面，本发明涉及通过生成源代码的值流程图来执行点分析的方法。所述方法步骤包括：基于基本和分配指令来初始化包括一组存储器对象和一组边的值流图，其中所述边集合表示所述一组存储器对象与一组指针变量之间的包含约束; 确定包括所述指针变量集合中的至少一个指针变量的指向对象集合; 通过引入基于间接引用的流边来更新值流图，其中流边缘与添加到工作列表的一组存储器对象的存储器对象相关; 基于工作列表中的存储器对象来更新指向性集合; 并使用尖括号分析源代码。

3. 发明申请

US20110154122A1 SYSTEM AND METHOD FOR OVERFLOW DETECTION USING SYMBOLIC ANALYSIS 有权
标题翻译：使用符号分析进行溢流检测的系统和方法
公开(公告)号：US20110154122A1
公开(公告)日：2011-06-23
申请号：US12642729
申请日：2009-12-18
申请人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
发明人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
IPC分类号： G06F11/36 , G06F11/00 , G06F9/00 , G06F15/00
CPC分类号： G06F11/3608
摘要： A method for demand-driven symbolic analysis involves obtaining a section of code comprising an instruction from a source code file and determining a critical variable in the section of code and data dependencies related to the critical variable. The method further involves iteratively computing a symbolic value representing a range of values of the critical variable according to the data dependencies, determining a set of control predicates relevant to the critical variable at the instruction, refining the range of values according to the set of control predicates to generate a second range of values for the symbolic value, and reporting an error when the second range of values exceeds a predetermined value.
摘要翻译：用于需求驱动的符号分析的方法涉及获得包括源代码文件的指令的代码部分，并且确定与关键变量相关的代码和数据依赖性部分中的关键变量。该方法还包括迭代地计算表示根据数据依赖性的关键变量的值的范围的符号值，确定与该指令处的关键变量相关的一组控制谓词，根据该组控制来改进值的范围谓词以产生符号值的第二范围值，并且当第二范围值超过预定值时报告错误。

4. 发明申请

US20130031531A1 METHOD AND SYSTEM FOR PERFORMING BACKWARD-DRIVEN PATH-SENSITIVE DATAFLOW ANALYSIS 有权
标题翻译：用于执行后向驱动路径敏感数据流分析的方法和系统
公开(公告)号：US20130031531A1
公开(公告)日：2013-01-31
申请号：US13192349
申请日：2011-07-27
申请人： Nathan Robert Albert Keynes , Cristina N. Cifuentes , Lian Li
发明人： Nathan Robert Albert Keynes , Cristina N. Cifuentes , Lian Li
IPC分类号： G06F9/44
CPC分类号： G06F8/74 , G06F8/427
摘要： In general, in one aspect, the invention relates to a method for static analysis. The method includes: obtaining source code; constructing a control flow graph (CFG) corresponding to the source code, by identifying control structures within the source code, creating a set of graph nodes of the CFG, and creating a set of directed graph edges of the CFG connecting the set of graph nodes; assigning a first Boolean flow value to a selected node of the set of graph nodes; backward traversing the CFG from the selected node to a target node; computing, by a computer processor and while backward traversing the CFG, disjoint predicate expressions representing flow values at the set of directed graph edges; computing, based on the disjoint predicate expressions, a resulting disjoint predicate expression; and identifying, based on the resulting disjoint predicate expression, a potential program property in the source code.
摘要翻译：通常，一方面，本发明涉及静态分析方法。该方法包括：获取源代码; 通过识别源代码中的控制结构，创建一组CFG的图形节点，以及创建连接该图形节点组的CFG的一组有向图边缘来构建与源代码相对应的控制流程图（CFG） ; 向所述一组图形节点的所选节点分配第一布尔流值; 从选择的节点向目标节点反向遍历CFG; 通过计算机处理器进行计算，并且在向后遍历CFG时，分离表示在有向图边缘集合处的流量值的谓词表达式; 基于不相交的谓词表达式计算所得到的不相交谓词表达式; 并且基于所得到的不相交谓词表达来识别源代码中的潜在程序属性。

5. 发明申请

US20120304153A1 CONTEXT-SENSITIVE ANALYSIS FRAMEWORK USING VALUE FLOWS 有权
标题翻译：使用价值流的语境敏感分析框架
公开(公告)号：US20120304153A1
公开(公告)日：2012-11-29
申请号：US13117078
申请日：2011-05-26
申请人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
发明人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
IPC分类号： G06F9/44
CPC分类号： G06F8/75 , G06F11/3604
摘要： In general, in one aspect, the invention relates to a method for identifying program properties in source code. The method includes: identifying a set of program objects corresponding to a potential program property within the source code; identifying a function associated with the set of program objects in the source code; identifying an input and an output of the function in the source code; creating a value flow graph by: creating a function input node representing the input; creating a function output node representing the output; identifying value flow functions, where each value flow function defines a conditional dependency between a pair of graph nodes, and creating, based on the value flow functions, directed graph edges modeling a potential flow of data through the value flow graph; and identifying a feasible path in the value flow graph depicting an occurrence of the potential program property in the source code.
摘要翻译：通常，一方面，本发明涉及用于识别源代码中的程序属性的方法。该方法包括：识别与源代码内的潜在程序属性相对应的一组程序对象; 识别与所述源代码中的所述一组程序对象相关联的功能; 识别源代码中的功能的输入和输出; 通过以下方式创建价值流程图：创建表示输入的函数输入节点; 创建表示输出的功能输出节点; 识别价值流函数，其中每个价值流函数定义一对图形节点之间的条件依赖关系，并且基于所述价值流函数创建通过所述价值流图对潜在数据流建模的有向图边缘; 并且在所述值流程图中识别描绘所述源代码中的潜在程序属性的发生的可行路径。

6. 发明授权

US08893102B2 Method and system for performing backward-driven path-sensitive dataflow analysis 有权
标题翻译：执行反向驱动的路径敏感数据流分析的方法和系统
公开(公告)号：US08893102B2
公开(公告)日：2014-11-18
申请号：US13192349
申请日：2011-07-27
申请人： Nathan Robert Albert Keynes , Cristina N. Cifuentes , Lian Li
发明人： Nathan Robert Albert Keynes , Cristina N. Cifuentes , Lian Li
IPC分类号： G06F9/45
CPC分类号： G06F8/74 , G06F8/427
摘要： In general, in one aspect, the invention relates to a method for static analysis. The method includes: obtaining source code; constructing a control flow graph (CFG) corresponding to the source code, by identifying control structures within the source code, creating a set of graph nodes of the CFG, and creating a set of directed graph edges of the CFG connecting the set of graph nodes; assigning a first Boolean flow value to a selected node of the set of graph nodes; backward traversing the CFG from the selected node to a target node; computing, by a computer processor and while backward traversing the CFG, disjoint predicate expressions representing flow values at the set of directed graph edges; computing, based on the disjoint predicate expressions, a resulting disjoint predicate expression; and identifying, based on the resulting disjoint predicate expression, a potential program property in the source code.
摘要翻译：通常，一方面，本发明涉及静态分析方法。该方法包括：获取源代码; 通过识别源代码中的控制结构，创建一组CFG的图形节点，以及创建连接该图形节点组的CFG的一组有向图边缘来构建与源代码相对应的控制流程图（CFG） ; 向所述一组图形节点的所选节点分配第一布尔流值; 从选择的节点向目标节点反向遍历CFG; 通过计算机处理器进行计算，并且在向后遍历CFG时，分离表示在有向图边缘集合处的流量值的谓词表达式; 基于不相交的谓词表达式计算所得到的不相交谓词表达式; 并且基于所得到的不相交谓词表达来识别源代码中的潜在程序属性。

7. 发明申请

US20120304158A1 POINTS-TO ANALYSIS AS VALUE FLOW 有权
标题翻译：要点分析作为价值流
公开(公告)号：US20120304158A1
公开(公告)日：2012-11-29
申请号：US13117058
申请日：2011-05-26
申请人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
发明人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
IPC分类号： G06F9/44
CPC分类号： G06F8/75 , G06F8/434 , G06F11/3604
摘要： In general, in one aspect, the invention relates to a method for performing points-to analysis by generating a value flow graph for source code. The method steps include: initializing the value flow graph including a set of memory objects and a set of edges based on Base and Assignment instructions, where the set of edges represents inclusion constraints between the set of memory objects and a set of pointer variables; determining a pointed-to-by set including at least one pointer variable of the set of pointer variables; updating the value flow graph by introducing a flow edge based on an indirect reference, where the flow edge is related to a memory object of the set of memory objects that is added to a working list; updating the pointed-to-by set based on the memory object in the working list; and analyzing the source code using the pointed-to-by set.
摘要翻译：一般来说，一方面，本发明涉及通过生成源代码的值流程图来执行点分析的方法。所述方法步骤包括：基于基本和分配指令来初始化包括一组存储器对象和一组边的值流图，其中所述边集合表示所述一组存储器对象与一组指针变量之间的包含约束; 确定包括所述指针变量集合中的至少一个指针变量的指向对象集合; 通过引入基于间接引用的流边来更新值流图，其中流边缘与添加到工作列表的一组存储器对象的存储器对象相关; 基于工作列表中的存储器对象来更新指向性集合; 并使用尖括号分析源代码。

8. 发明授权

US08302086B2 System and method for overflow detection using symbolic analysis 有权
标题翻译：使用符号分析进行溢出检测的系统和方法
公开(公告)号：US08302086B2
公开(公告)日：2012-10-30
申请号：US12642729
申请日：2009-12-18
申请人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
发明人： Lian Li , Cristina N. Cifuentes , Nathan Robert Albert Keynes
IPC分类号： G06F9/45
CPC分类号： G06F11/3608
摘要： A method for demand-driven symbolic analysis involves obtaining a section of code comprising an instruction from a source code file and determining a critical variable in the section of code and data dependencies related to the critical variable. The method further involves iteratively computing a symbolic value representing a range of values of the critical variable according to the data dependencies, determining a set of control predicates relevant to the critical variable at the instruction, refining the range of values according to the set of control predicates to generate a second range of values for the symbolic value, and reporting an error when the second range of values exceeds a predetermined value.
摘要翻译：用于需求驱动的符号分析的方法涉及获得包括源代码文件的指令的代码部分，并且确定与关键变量相关的代码和数据依赖性部分中的关键变量。该方法还包括迭代地计算表示根据数据依赖性的关键变量的值的范围的符号值，确定与该指令处的关键变量相关的一组控制谓词，根据该组控制来改进值的范围谓词以产生符号值的第二范围值，并且当第二范围值超过预定值时报告错误。

9. 发明授权

US09270436B2 Method and apparatus for configuring cell-specific reference signal 有权
标题翻译：用于配置小区特定参考信号的方法和装置
公开(公告)号：US09270436B2
公开(公告)日：2016-02-23
申请号：US14128186
申请日：2011-10-24
申请人： Xuebin Liu , Lian Li , Hui Dong
发明人： Xuebin Liu , Lian Li , Hui Dong
IPC分类号： H04L5/00 , H04W52/14 , H04W52/16 , H04W52/28 , H04W52/32
CPC分类号： H04L5/0053 , H04L5/005 , H04W52/143 , H04W52/16 , H04W52/283 , H04W52/325
摘要： The disclosure provides a method and an apparatus for configuring a Cell-Specific Reference Signal (CRS). The method includes: a cell is divided into a central area and a marginal area; a CRS is divided into a central CRS, a marginal CRS and a common CRS; a value that is obtained by adding a fixed first power value to a preset reference Energy Per Resource Element (EPRE) is configured as an EPRE value of the marginal CRS; a value that is obtained by subtracting a fixed second power value from the preset reference EPRE is configured as an EPRE value of the central CRS; and the reference EPRE is configured as the EPRE value of the common CRS. The disclosure can improve an SINR of a marginal area of a cell and enhance downlink performance of a UE in the marginal area of the cell, without affecting downlink performance of a UE in a central area of the cell.
摘要翻译：本公开提供了一种用于配置小区特定参考信号（CRS）的方法和装置。该方法包括：将小区划分为中心区域和边缘区域; CRS分为中央CRS，边缘CRS和常见CRS; 通过将固定的第一功率值添加到预设的参考能量每资源元素（EPRE）获得的值被配置为边缘CRS的EPRE值; 通过从预设参考EPRE减去固定的第二功率值而获得的值被配置为中央CRS的EPRE值; 参考EPRE被配置为公共CRS的EPRE值。本公开可以改善小区的边缘区域的SINR，并且增强UE在小区的边缘区域中的下行性能，而不影响小区的中心区域中的UE的下行性能。

10. 发明授权

US08576559B2 Extracting apparatus for storage module 有权
标题翻译：存储模块提取装置
公开(公告)号：US08576559B2
公开(公告)日：2013-11-05
申请号：US13220713
申请日：2011-08-30
申请人： Xin-Hu Gong , Lian Li
发明人： Xin-Hu Gong , Lian Li
IPC分类号： G06F1/16
CPC分类号： G06F1/187 , G11B33/124
摘要： An extracting apparatus for a storage module includes a bracket and a holder. The bracket includes a fastener. The holder is withdrawable mounted to the bracket. The holder is for fixing the storage module. The holder includes a handle. The handle includes an arm pivotably connecting with the holder and an operating portion pivotably connecting with the arm. The operating portion is operated to fold to abut the arm, and the fastener latching the handle to fixedly mount the holder on the bracket.
摘要翻译：一种用于存储模块的提取装置，包括支架和支架。支架包括紧固件。支架可拆卸安装在支架上。支架用于固定存储模块。支架包括手柄。手柄包括可枢转地连接保持器的臂和与臂可枢转地连接的操作部分。操作部分被操作以折叠以邻接臂，并且紧固件闩锁手柄以将支架固定地安装在支架上。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式