利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

13 条记录 (耗时 0.017 秒)

    FINE SLICING: GENERATING AN EXECUTABLE BOUNDED SLICE FOR PROGRAM
    1.
    发明申请
    FINE SLICING: GENERATING AN EXECUTABLE BOUNDED SLICE FOR PROGRAM 有权
    精细化：为程序生成可执行的边界片

    公开(公告)号：US20110041123A1

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

    申请号：US12541983

    申请日：2009-08-17

    申请人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Feldman

    发明人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Feldman

    IPC分类号： G06F9/45

    CPC分类号： G06F8/433 ,  G06F11/3604

    摘要： A method for generating a fine slice for a program is provided. The method comprises receiving a set of slicing criteria, wherein the set of slicing criteria comprises one or more variable occurrences or control dependences; receiving a set of cut points, wherein the set of cut points comprises one or more variable occurrences or control dependences; and generating a slice according to the set of slicing criteria and the set of cut points. The generated slice includes statements related to computation of values for the set of slicing criteria and excludes statements related to computation of values for the set of cut points. Missing information is added to the slice so that the slice is executable.

    摘要翻译： 提供了一种用于为程序生成精细切片的方法。 所述方法包括接收一组切片标准，其中所述切片标准集包括一个或多个可变出现或控制依赖性; 接收一组切割点，其中所述切割点集合包括一个或多个可变事件或控制依赖性; 以及根据切片标准和切割点集合生成切片。 生成的切片包括与计算切片标准集合的值相关的语句，并排除与该切割点集合的值的计算相关的语句。 将缺少的信息添加到切片中，以使切片可执行。

    PLAN-BASED PROGRAM SLICING
    3.
    发明申请
    PLAN-BASED PROGRAM SLICING 失效
    基于计划的程序设计

    公开(公告)号：US20110055803A1

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

    申请号：US12550406

    申请日：2009-08-31

    申请人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Feldman

    发明人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Feldman

    IPC分类号： G06F9/44

    CPC分类号： G06F11/3612 ,  G06F8/75

    摘要： A method for generating a slice from a plan-based representation of a program is provided. The method comprises constructing a plan representation of a program, wherein the plan representation comprises a plurality of nodes, edges, and ports; and receiving one or more slicing criteria from a user. The slicing criteria comprise one or more variable occurrences or statements from the program, according to which a slice is generated from the plan representation.

    摘要翻译： 提供了一种从程序的基于计划的表示生成切片的方法。 该方法包括构建程序的计划表示，其中计划表示包括多个节点，边缘和端口; 并从用户接收一个或多个切片标准。 切片标准包括来自程序的一个或多个可变事件或语句，根据该条件从计划表示生成切片。

    SOFTWARE ARCHITECTURE BY UNTANGLING UNDESIRED CODE LEVEL DEPENDENCIES USING CODE REFACTORING
    4.
    发明申请
    SOFTWARE ARCHITECTURE BY UNTANGLING UNDESIRED CODE LEVEL DEPENDENCIES USING CODE REFACTORING 有权
    软件架构通过使用代码引导程序解决不了代码级别的依赖关系

    公开(公告)号：US20130125086A1

    公开(公告)日：2013-05-16

    申请号：US13295073

    申请日：2011-11-13

    申请人： Aharon Abadi ,  Ran Ettinger ,  Yishai Feldman ,  Maayan Goldslein

    发明人： Aharon Abadi ,  Ran Ettinger ,  Yishai Feldman ,  Maayan Goldslein

    IPC分类号： G06F9/44

    CPC分类号： G06F8/72 ,  G06F8/35

    摘要： A method of improving software architecture by untangling undesired code level dependencies is provided herein. The method includes the following stages: generating an abstract representation of a computer code in a form of a code model; recording manipulations to the computer code applied by a user to the code model; calculating a series of refactorings in the computer code that represents the recorded manipulation; and carrying out the refactorings within the computer code. Specifically, some of the refactorings include separating low level software elements on the method level in response to the user manipulations of the model.

    摘要翻译： 本文提供了通过解包不期望的代码级依赖性来改进软件体系结构的方法。 该方法包括以下阶段：以代码模型的形式生成计算机代码的抽象表示; 将操作记录到由用户应用于代码模型的计算机代码; 计算代表记录操作的计算机代码中的一系列重构; 并在计算机代码中执行重构。 具体地，一些重构包括响应于模型的用户操纵来分离方法级上的低级软件元素。

    Fine slicing: generating an executable bounded slice for program
    6.
    发明授权
    Fine slicing: generating an executable bounded slice for program 有权
    精细切片：为程序生成可执行的有界切片

    公开(公告)号：US08612954B2

    公开(公告)日：2013-12-17

    申请号：US12541983

    申请日：2009-08-17

    申请人： Aharon Abadi ,  Ran Ettinger ,  Yishai Fieldman ,  Jonathan Bnayahu

    发明人： Aharon Abadi ,  Ran Ettinger ,  Yishai Fieldman ,  Jonathan Bnayahu

    IPC分类号： G06F9/45

    CPC分类号： G06F8/433 ,  G06F11/3604

    摘要： A method for generating a fine slice for a program is provided. The method comprises receiving a set of slicing criteria, wherein the set of slicing criteria comprises one or more variable occurrences or control dependences; receiving a set of cut points, wherein the set of cut points comprises one or more variable occurrences or control dependences; and generating a slice according to the set of slicing criteria and the set of cut points. The generated slice includes statements related to computation of values for the set of slicing criteria and excludes statements related to computation of values for the set of cut points. Missing information is added to the slice so that the slice is executable.

    摘要翻译： 提供了一种用于为程序生成精细切片的方法。 所述方法包括接收一组切片标准，其中所述切片标准集包括一个或多个可变出现或控制依赖性; 接收一组切割点，其中所述切割点集合包括一个或多个可变事件或控制依赖性; 以及根据切片标准和切割点集合生成切片。 生成的切片包括与计算切片标准集合的值相关的语句，并排除与该切割点集合的值的计算相关的语句。 将缺少的信息添加到切片中，以使切片可执行。

    Determining suitable insertion points for string sanitizers in a computer code
    9.
    发明授权
    Determining suitable insertion points for string sanitizers in a computer code 失效
    在计算机代码中确定字符串消毒剂的合适插入点

    公开(公告)号：US08539466B2

    公开(公告)日：2013-09-17

    申请号：US13113097

    申请日：2011-05-23

    申请人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman ,  Yinnon Avraham Haviv ,  Adi Sharabani

    发明人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman ,  Yinnon Avraham Haviv ,  Adi Sharabani

    IPC分类号： G06F9/45

    CPC分类号： G06F8/433 ,  G06F21/12 ,  G06F2221/031 ,  G06F2221/033

    摘要： A method of determining suitable insertion points for inserting string sanitizers in a computer code is provided herein. The method includes the following stages: obtaining: (i) a computer code associated with a data flow of externally supplied data, from one or more sources to one or more sinks, (ii) locations of the sources, and (iii) locations of the sinks; building a graph representing control paths, data paths and semantic relationships between the control paths and the data paths of the computer code; associating all tainted data paths on the graph, being data paths that go from sources to sinks and do not include a sanitizer; and determining, on the tainted data paths, potential control paths suitable for sanitizer insertion.

    摘要翻译： 本文提供了一种在计算机代码中确定用于插入消毒器的合适插入点的方法。 该方法包括以下阶段：获得：（i）与外部提供的数据的数据流相关联的计算机代码，从一个或多个源到一个或多个汇点，（ii）源的位置，以及（iii） 水槽 构建表示控制路径和计算机代码的数据路径之间的控制路径，数据路径和语义关系的图; 将图中的所有污点数据路径相关联，即从源到汇的数据路径，不包括消毒剂; 并且在污染的数据路径上确定适于消毒剂插入的潜在控制路径。

    Method for code transformation supporting temporal abstraction of parameters
    10.
    发明授权
    Method for code transformation supporting temporal abstraction of parameters 有权
    支持时间抽象参数的代码转换方法

    公开(公告)号：US08621430B2

    公开(公告)日：2013-12-31

    申请号：US13039342

    申请日：2011-03-03

    申请人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman

    发明人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman

    IPC分类号： G06F9/44

    CPC分类号： G06F8/72

    摘要： A method of code transformation supporting temporal abstraction of parameters is provided herein. The method includes the following stages: extracting a set of statements from an original code and further creating a residual code being the original code without the statements, wherein two or more of the extracted statements are not on a same loop in the original code; adding conditions from the original code to the extracted set of statements, such that the added conditions are sufficient to render the set of statements executable; adding statements from the original code to the residual code, such that the added statements are sufficient to render the residual code executable; and adding code portions and variables to the set of statements and the residual code, such that a passing of values between the enhanced set of statements and the residual code maintains a respective passing of values in the original code.

    摘要翻译： 本文提供了支持参数时间抽取的代码转换方法。 该方法包括以下步骤：从原始代码中提取一组语句，并进一步创建一个没有语句的原始代码的残差代码，其中两个或多个提取的语句不在原始代码中的同一个循环中; 从原始代码添加到提取的语句集合的条件，使得添加的条件足以使该组语句可执行; 将原始代码中的语句添加到剩余代码，使得添加的语句足以使剩余代码可执行; 以及将代码部分和变量添加到所述语句集合和所述残余代码中，使得所述增强语句集合与所述残余代码之间的值的传递维持原始代码中的值的相应传递。