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

1. 发明授权

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

2. 发明申请

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

3. 发明申请

US20090248391A1 Automated Many-Sorted Theorem prover 失效
标题翻译：自动多排序定理证明
公开(公告)号：US20090248391A1
公开(公告)日：2009-10-01
申请号：US12060278
申请日：2008-04-01
申请人： Aharon Abadi
发明人： Aharon Abadi
IPC分类号： G06F17/20
CPC分类号： G06F17/10
摘要： The present invention is a method for automatic proving using many-sorted first-order logic. Embodiments of the invention apply a modified method of resolution of first-ordered logic. The method of resolution further comprises: processing at least one first sentence (P1) and at least one second sentence (Q1), wherein each of the at least one first sentence and the at least one second sentence contain literals (Pi, Qi). In addition, the method also restricts a unifying process in the method of resolution; determines the literals (Pi) of the at least one first sentence; negates the literals (Qi) of the at least one second sentence of the restricted unifying process; provides the determined literals (Pi′) and negated literals (Qi″) to the restricted unifying process; chooses a substitution list in the restricted unifying process with a predetermined type; and derives a resolvent sentence in response to the restricted unifying process and the chosen substitution list of predetermined type being unified.
摘要翻译：本发明是一种使用多分类一阶逻辑进行自动验证的方法。本发明的实施例应用经修改的一阶逻辑解析方法。分辨率的方法还包括：处理至少一个第一句子（P1）和至少一个第二句子（Q1），其中至少一个第一句子和至少一个第二句子中的每一个包含文字（Pi，Qi）。此外，该方法还限制了解决方法中的统一过程; 确定至少一个第一句的文字（Pi）; 否定限制统一过程的至少一个第二句的文字（Qi）; 将确定的文字（Pi'）和否定文字（Qi“）提供给受限制的统一过程; 在预定类型的限制统一过程中选择替换列表; 并且响应于限制统一处理并且所选择的预定类型的替代列表被统一，导出解决句子。

4. 发明授权

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

5. 发明申请

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

6. 发明授权

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.
摘要翻译：用于自动修复源代码中的安全漏洞的计算机实现的方法。该方法包括获得代码块的识别，该代码块包括将污染数据发送到源代码中的相应宿码并通过自动执行代码修改来自动修复该漏洞，代码修改选自代码移动和代码重复。

7. 发明申请

US20130246080A1 Generating Policy Summaries From Logic Code 审中-公开
标题翻译：从逻辑代码生成政策摘要
公开(公告)号：US20130246080A1
公开(公告)日：2013-09-19
申请号：US13423289
申请日：2012-03-19
申请人： Aharon Abadi , Bnayahu Jonathan , Feldman Yishai , Moti Nisenson , Yahalomit Simionovici
发明人： Aharon Abadi , Bnayahu Jonathan , Feldman Yishai , Moti Nisenson , Yahalomit Simionovici
IPC分类号： G06Q50/22 , G06Q40/08
CPC分类号： G06Q50/22 , G06Q40/08
摘要： Systems and methods for presenting benefit rules in a policy into a human readable table are provided. The method comprises analyzing logic code implemented for processing claims under a policy to identify one or more rules and one or more parameters of interest; translating the rules, as applicable to the parameters of interest, into an ordered list of boolean expressions; applying an algorithm to the ordered list of boolean expressions to identify a solution for a set of query parameters defined by the rules and the parameters of interest; and generating a summary table according to the identified solution for the set of query parameters.
摘要翻译：提供了将策略中的利益规则呈现到人类可读表中的系统和方法。该方法包括分析实施用于在策略下处理权利要求的逻辑代码，以识别感兴趣的一个或多个规则和一个或多个参数; 将适用于感兴趣的参数的规则转换为布尔表达式的有序列表; 将算法应用于布尔表达式的有序列表，以识别由规则和感兴趣的参数定义的一组查询参数的解; 以及根据针对所述一组查询参数的所识别的解决方案生成汇总表。

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. 发明申请

US20130283248A1 METHOD, APPARATUS AND PRODUCT FOR PORTING APPLICATIONS TO EMBEDDED PLATFORMS 有权
标题翻译：方法，装置和产品用于嵌入式平台的应用
公开(公告)号：US20130283248A1
公开(公告)日：2013-10-24
申请号：US13449316
申请日：2012-04-18
申请人： Aharon Abadi , Moria Abadi , Yishai Feldman , Maayan Goldstein
发明人： Aharon Abadi , Moria Abadi , Yishai Feldman , Maayan Goldstein
IPC分类号： G06F9/44
CPC分类号： G06F8/76 , G06F8/40 , G06F8/443
摘要： A computer-implemented method and apparatus for transforming code to embedded environments, the method comprising: receiving program code not complying with a limitation of an embedded computing environment; transforming at least part of the program code to modified program code in order for the modified program code to be in compliance with the limitation; and storing the modified program code on a storage device. wherein the modified program code complies with the limitation of the embedded computing environment.
摘要翻译：一种用于将代码转换为嵌入式环境的计算机实现的方法和装置，所述方法包括：接收不符合嵌入式计算环境限制的程序代码; 将至少部分程序代码转换为修改的程序代码，以便修改的程序代码符合限制; 以及将修改的程序代码存储在存储设备上。其中修改的程序代码符合嵌入式计算环境的限制。

10. 发明授权

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.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式