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

1. 发明申请

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

2. 发明授权

US08543974B2 Plan-based program slicing 失效
公开(公告)号：US08543974B2
公开(公告)日：2013-09-24
申请号：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.

3. 发明申请

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

4. 发明申请

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

5. 发明授权

US09720690B2 Software architecture by untangling undesired code level dependencies using code refactoring 有权
公开(公告)号：US09720690B2
公开(公告)日：2017-08-01
申请号：US13295073
申请日：2011-11-13
申请人： Aharon Abadi , Ran Ettinger , Yishai Feldman , Maayan Goldstein
发明人： Aharon Abadi , Ran Ettinger , Yishai Feldman , Maayan Goldstein
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.

6. 发明授权

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

7. 发明授权

US08819637B2 Fixing security vulnerability in a source code 有权
标题翻译：修复源代码中的安全漏洞
公开(公告)号：US08819637B2
公开(公告)日：2014-08-26
申请号：US12792747
申请日：2010-06-03
申请人： Aharon Abadi , Yishai Abraham Feldman , Ran Ettinger , Jonathan Bnayahu , Omer Tripp , Yinnon Haviv , Adi Sharabani , Omri Weisman
发明人： Aharon Abadi , Yishai Abraham Feldman , Ran Ettinger , Jonathan Bnayahu , Omer Tripp , Yinnon Haviv , Adi Sharabani , Omri Weisman
IPC分类号： G06F9/44 , G06F12/14 , G06F17/27
CPC分类号： G06F21/577 , G06F8/72 , G06F21/12 , G06F21/121 , G06F21/125 , G06F21/563
摘要： A computer implemented method for automatically fixing a security vulnerability in a source code. The method includes obtaining identification of a code block that includes a code that sends tainted data to a corresponding sink code in the source code and automatically fixing the vulnerability by automatically performing code modification which is selected from the group of code modifications consisting of: code motion and code duplication.
摘要翻译：用于自动修复源代码中的安全漏洞的计算机实现的方法。该方法包括获得代码块的识别，该代码块包括将污染数据发送到源代码中的相应宿码并通过自动执行代码修改来自动修复该漏洞，代码修改选自代码移动和代码重复。

8. 发明申请

US20130133075A1 FIXING SECURITY VULNERABILITY IN A SOURCE CODE 有权
标题翻译：在源代码中固定安全漏洞
公开(公告)号：US20130133075A1
公开(公告)日：2013-05-23
申请号：US13746407
申请日：2013-01-22
申请人： Aharon Abadi , Yishai Abraham Feldman , Ran Ettinger , Jonathan Bnayahu , Omer Tripp , Yinnon Haviv , Adi Sharabani , Omri Weisman
发明人： Aharon Abadi , Yishai Abraham Feldman , Ran Ettinger , Jonathan Bnayahu , Omer Tripp , Yinnon Haviv , Adi Sharabani , Omri Weisman
IPC分类号： G06F21/57
CPC分类号： G06F21/577 , G06F8/72 , G06F21/12 , G06F21/121 , G06F21/125 , G06F21/563
摘要： A computer implemented method for automatically fixing a security vulnerability in a source code is disclosed. The method includes obtaining identification of code that sends tainted data to corresponding sink code in the source code; and automatically fixing the vulnerability by automatically performing code modification which is selected from the group of code modifications consisting of: code motion and code duplication. Also disclosed are computer program product and data processing system.
摘要翻译：公开了一种用于自动修复源代码中的安全漏洞的计算机实现方法。该方法包括获取将污染数据发送到源代码中的相应宿码的代码的识别; 并通过自动执行代码修改来自动修复该漏洞，该代码修改从代码运动和代码复制组成的代码修改组中选择。还公开了计算机程序产品和数据处理系统。

9. 发明授权

US08539466B2 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）水槽构建表示控制路径和计算机代码的数据路径之间的控制路径，数据路径和语义关系的图; 将图中的所有污点数据路径相关联，即从源到汇的数据路径，不包括消毒剂; 并且在污染的数据路径上确定适于消毒剂插入的潜在控制路径。

10. 发明授权

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

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式