利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

51 条记录 (耗时 0.026 秒)

    Method and system for performing backward-driven path-sensitive dataflow analysis
    2.
    发明授权
    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时，分离表示在有向图边缘集合处的流量值的谓词表达式; 基于不相交的谓词表达式计算所得到的不相交谓词表达式; 并且基于所得到的不相交谓词表达来识别源代码中的潜在程序属性。

    POINTS-TO ANALYSIS AS VALUE FLOW
    3.
    发明申请
    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.

    摘要翻译： 一般来说，一方面，本发明涉及通过生成源代码的值流程图来执行点分析的方法。 所述方法步骤包括：基于基本和分配指令来初始化包括一组存储器对象和一组边的值流图，其中所述边集合表示所述一组存储器对象与一组指针变量之间的包含约束; 确定包括所述指针变量集合中的至少一个指针变量的指向对象集合; 通过引入基于间接引用的流边来更新值流图，其中流边缘与添加到工作列表的一组存储器对象的存储器对象相关; 基于工作列表中的存储器对象来更新指向性集合; 并使用尖括号分析源代码。

    System and method for overflow detection using symbolic analysis
    4.
    发明授权
    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.

    摘要翻译： 用于需求驱动的符号分析的方法涉及获得包括源代码文件的指令的代码部分，并且确定与关键变量相关的代码和数据依赖性部分中的关键变量。 该方法还包括迭代地计算表示根据数据依赖性的关键变量的值的范围的符号值，确定与该指令处的关键变量相关的一组控制谓词，根据该组控制来改进值的范围 谓词以产生符号值的第二范围值，并且当第二范围值超过预定值时报告错误。

    Nonlinear optical structure and methods of making
    10.
    发明授权
    Nonlinear optical structure and methods of making 失效
    非线性光学结构及其制作方法

    公开(公告)号：US6106948A

    公开(公告)日：2000-08-22

    申请号：US870345

    申请日：1997-06-06

    申请人： Xiaogong Wang ,  Srinivasan Balasubramanian ,  Lian Li ,  Sukant Tripathy ,  Jayant Kumar

    发明人： Xiaogong Wang ,  Srinivasan Balasubramanian ,  Lian Li ,  Sukant Tripathy ,  Jayant Kumar

    IPC分类号： G02F1/361 ,  B32B27/38 ,  B05D1/36 ,  B05D5/06 ,  B32B27/00

    CPC分类号： G02F1/361

    摘要： A method for making a multilayer structure having macroscopic second order nonlinear optical properties is described. The resulting nonlinear optical structures made by the method are also described. The method includes the steps of contacting a substrate having ionic adsorption sites with a first charged polyion; ceasing contact of the substrate with the first charged polyion; and thereafter, contacting the substrate with a second charged polyion having a charge opposite to that of the first charged polyion, wherein at least one of the polyions includes a nonlinear optical chromophoric side chain.

    摘要翻译： 描述了制造具有宏观二阶非线性光学特性的多层结构的方法。 还描述了由该方法制成的所得非线性光学结构。 该方法包括使具有离子吸附位点的底物与第一带电的聚阳离子接触的步骤; 停止基板与第一带电的聚阳离子的接触; 然后使所述衬底与具有与所述第一带电聚氨离子的电荷相反的电荷的第二带电聚阴离子接触，其中所述多个离子中的至少一个包括非线性光学发色侧链。