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

1. 发明授权

US08374978B2 Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics 有权
标题翻译：使用语义分析器收集使用统计信息的上下文相关动态膨胀检测系统
公开(公告)号：US08374978B2
公开(公告)日：2013-02-12
申请号：US12789668
申请日：2010-05-28
申请人： Ohad Shacham , Martin Vechev , Eran Yahav
发明人： Ohad Shacham , Martin Vechev , Eran Yahav
IPC分类号： G06F15/18
CPC分类号： G06N5/025
摘要： Methods and apparatus are provided for a context-sensitive dynamic bloat detection system. A profiling tool is disclosed that selects an appropriate collection implementation for a given application. The disclosed profiling tool uses semantic profiling together with a set of collection selection rules to make an informed choice. A collection implementation, such as an abstract data entity, is selected for a given program by obtaining collection usage statistics from the program. The collection implementation is selected based on the collection usage statistics using a set of collection selection rules. The collection implementation is one of a plurality of interchangeable collection implementations having a substantially similar logical behavior for substantially all collection types. The collection usage statistics indicate how the collection implementation is used in the given program. One or more suggestions can be generated for improving the collection allocated at a particular allocation context.
摘要翻译：为上下文敏感的动态膨胀检测系统提供了方法和装置。公开了一种分析工具，其为特定应用选择适当的集合实现。所公开的分析工具使用语义分析以及一组收集选择规则来做出明智的选择。通过从程序中获取收集使用统计信息，为给定的程序选择了抽象数据实体的集合实现。集合实现是根据使用集合选择规则的集合使用统计信息进行选择的。集合实现是对于基本上所有集合类型具有基本相似的逻辑行为的多个可互换集合实现之一。集合使用统计信息指示在给定程序中如何使用集合实现。可以生成一个或多个建议，以改善在特定分配上下文中分配的集合。

2. 发明申请

US20110295789A1 Context-Sensitive Dynamic Bloat Detection System 有权
标题翻译：上下文敏感动态膨胀检测系统
公开(公告)号：US20110295789A1
公开(公告)日：2011-12-01
申请号：US12789668
申请日：2010-05-28
申请人： Ohad Shacham , Martin Vechev , Eran Yahav
发明人： Ohad Shacham , Martin Vechev , Eran Yahav
IPC分类号： G06N5/02
CPC分类号： G06N5/025
摘要： Methods and apparatus are provided for a context-sensitive dynamic bloat detection system. A profiling tool is disclosed that selects an appropriate collection implementation for a given application. The disclosed profiling tool uses semantic profiling together with a set of collection selection rules to make an informed choice. A collection implementation, such as an abstract data entity, is selected for a given program by obtaining collection usage statistics from the program. The collection implementation is selected based on the collection usage statistics using a set of collection selection rules. The collection implementation is one of a plurality of interchangeable collection implementations having a substantially similar logical behavior for substantially all collection types. The collection usage statistics indicate how the collection implementation is used in the given program. One or more suggestions can be generated for improving the collection allocated at a particular allocation context.
摘要翻译：为上下文敏感的动态膨胀检测系统提供了方法和装置。公开了一种分析工具，其为特定应用选择适当的集合实现。所公开的分析工具使用语义分析以及一组收集选择规则来做出明智的选择。通过从程序中获取收集使用统计信息，为给定的程序选择了抽象数据实体的集合实现。集合实现是根据使用集合选择规则的集合使用统计信息进行选择的。集合实现是对于基本上所有集合类型具有基本相似的逻辑行为的多个可互换集合实现之一。集合使用统计信息指示在给定程序中如何使用集合实现。可以生成一个或多个建议来改善在特定分配上下文中分配的集合。

3. 发明申请

US20120179650A1 ASYNCHRONOUS ASSERTIONS 有权
标题翻译：不同意见
公开(公告)号：US20120179650A1
公开(公告)日：2012-07-12
申请号：US13004506
申请日：2011-01-11
申请人： Martin Vechev , Eran Yahav
发明人： Martin Vechev , Eran Yahav
IPC分类号： G06F17/30
CPC分类号： G06F9/45504 , G06F11/3612
摘要： A snapshot of an application executing on a processor is taken in response to detecting an assertion in a running application. The assertion is evaluated based on the snapshot asynchronously while allowing the application to continue executing. The results of the assertion evaluation are returned to the application.
摘要翻译：响应于检测到正在运行的应用中的断言，采用在处理器上执行的应用的快照。在允许应用程序继续执行的同时异步地基于快照来评估断言。断言评估的结果将返回给应用程序。

4. 发明申请

US20110087927A1 DETECTING DEFECTS IN DEPLOYED SYSTEMS 失效
标题翻译：检测部署系统中的缺陷
公开(公告)号：US20110087927A1
公开(公告)日：2011-04-14
申请号：US12578975
申请日：2009-10-14
申请人： Matthew R. Arnold , Martin Vechev , Eran Yahav
发明人： Matthew R. Arnold , Martin Vechev , Eran Yahav
IPC分类号： G06F11/36 , G06F11/00 , G06F9/455
CPC分类号： G06F11/366 , G06F11/3636
摘要： Detecting defects in deployed systems, in one aspect, identify one or more monitoring agents used in a computer program. Total execution metric of the computer program and execution metric associated with the one or more monitoring agents are measured and the measure execution metric is compared with a specified overhead criteria. The execution of the one or more monitoring agents is adjusted based on the comparing step while the computer program is executing to meet the specified overhead criteria.
摘要翻译：在一方面，检测部署系统中的缺陷，识别在计算机程序中使用的一个或多个监视代理。测量计算机程序的总执行度量和与一个或多个监视代理相关联的执行度量，并将测量执行度量与指定的开销标准进行比较。当计算机程序正在执行以满足指定的开销标准时，基于比较步骤调整一个或多个监视代理的执行。

5. 发明授权

US08646088B2 Runtime enforcement of security checks 失效
标题翻译：运行时执行安全检查
公开(公告)号：US08646088B2
公开(公告)日：2014-02-04
申请号：US12983407
申请日：2011-01-03
申请人： Marco Pistoia , Omer Tripp , Martin Vechev , Eran Yahav
发明人： Marco Pistoia , Omer Tripp , Martin Vechev , Eran Yahav
IPC分类号： G06F21/00
CPC分类号： H04L63/1441 , G06F21/554
摘要： A method is disclosed that includes tracking untrusted inputs through an executing program into a sink, the tracking including maintaining context of the sink as strings based on the untrusted inputs flow into the sink. The method also includes, while tracking, in response to a string based on an untrusted input being about to flow into the sink and a determination the string could lead to an attack if the string flows into a current context of the sink, endorsing the string using an endorser selected based at least on the current context of the sink, and providing the endorsed string to the sink. Computer program products and apparatus are also disclosed.
摘要翻译：公开了一种方法，其包括通过执行程序将不可信任的输入跟踪到宿中，所述跟踪包括基于所述不可信任的输入流入宿来维持宿的上下文作为字符串。该方法还包括响应于基于不可信输入的字符串的跟踪而被跟踪，并且如果字符串流入接收器的当前上下文，则确定该字符串可能导致攻击，认证字符串使用至少基于汇的当前上下文选择的支持者，并将批准的字符串提供给汇点。还公开了计算机程序产品和装置。

6. 发明授权

US08645917B2 Providing support for debugging heap related errors with heap assertions 失效
标题翻译：提供对使用堆断言来调试与堆相关的错误的支持
公开(公告)号：US08645917B2
公开(公告)日：2014-02-04
申请号：US12578943
申请日：2009-10-14
申请人： Matthew R. Arnold , Martin Vechev , Eran Yahav
发明人： Matthew R. Arnold , Martin Vechev , Eran Yahav
IPC分类号： G06F9/44
CPC分类号： G06F11/3636 , G06F11/366
摘要： A programming language support for debugging heap related errors includes one or more queries for determining one or more global properties associated with use of the area by the program. The one or more queries may be executed in parallel or concurrently and dynamically utilize available number of cores.
摘要翻译：用于调试堆相关错误的编程语言支持包括一个或多个查询，用于确定与程序使用该区域相关联的一个或多个全局属性。一个或多个查询可以并行地或并行地并且动态地利用可用数量的核来执行。

7. 发明授权

US08548966B2 Asynchronous assertions 有权
标题翻译：异步断言
公开(公告)号：US08548966B2
公开(公告)日：2013-10-01
申请号：US13004506
申请日：2011-01-11
申请人： Martin Vechev , Eran Yahav
发明人： Martin Vechev , Eran Yahav
IPC分类号： G06F7/00 , G06F17/00
CPC分类号： G06F9/45504 , G06F11/3612
摘要： A snapshot of an application executing on a processor is taken in response to detecting an assertion in a running application. The assertion is evaluated based on the snapshot asynchronously while allowing the application to continue executing. The results of the assertion evaluation are returned to the application.
摘要翻译：响应于检测到正在运行的应用中的断言，采用在处理器上执行的应用的快照。在允许应用程序继续执行的同时异步地基于快照来评估断言。断言评估的结果将返回给应用程序。

8. 发明授权

US08495427B2 Detecting defects in deployed systems 失效
标题翻译：检测部署系统中的缺陷
公开(公告)号：US08495427B2
公开(公告)日：2013-07-23
申请号：US12578975
申请日：2009-10-14
申请人： Matthew R. Arnold , Martin Vechev , Eran Yahav
发明人： Matthew R. Arnold , Martin Vechev , Eran Yahav
IPC分类号： G06F11/00
CPC分类号： G06F11/366 , G06F11/3636
摘要： Detecting defects in deployed systems, in one aspect, identify one or more monitoring agents used in a computer program. Total execution metric of the computer program and execution metric associated with the one or more monitoring agents are measured and the measure execution metric is compared with a specified overhead criteria. The execution of the one or more monitoring agents is adjusted based on the comparing step while the computer program is executing to meet the specified overhead criteria.
摘要翻译：在一方面，检测部署系统中的缺陷，识别在计算机程序中使用的一个或多个监视代理。测量计算机程序的总执行度量和与一个或多个监视代理相关联的执行度量，并将测量执行度量与指定的开销标准进行比较。当计算机程序正在执行以满足指定的开销标准时，基于比较步骤调整一个或多个监视代理的执行。

9. 发明申请

US20110258606A1 ABSTRACTION-GUIDED SYNTHESIS 失效
标题翻译：摘要引导合成
公开(公告)号：US20110258606A1
公开(公告)日：2011-10-20
申请号：US12762002
申请日：2010-04-16
申请人： Martin Vechev , Eran Yahav , Greta Yorsh
发明人： Martin Vechev , Eran Yahav , Greta Yorsh
IPC分类号： G06F9/44
CPC分类号： G06F11/3636 , G06F8/436 , G06F8/51
摘要： Given a program P, a specification S, and an abstraction function α, verification determines whether P satisfies the specification S under the abstraction α. If not, a trace T that violate the specification is selected, and either the abstraction α is refined or a constraint that avoids the trace T is computed and added to a set of constraints. The set of constraints are used to modify the program P.
摘要翻译：给定程序P，规范S和抽象函数α，验证确定P是否满足抽象α下的规范S. 如果没有，则选择违反规范的跟踪T，并且对抽象α进行细化，或者计算避免跟踪T的约束并将其添加到一组约束。该组约束用于修改程序P.

10. 发明申请

US20110087926A1 HEAP ASSERTIONS 失效
公开(公告)号：US20110087926A1
公开(公告)日：2011-04-14
申请号：US12578943
申请日：2009-10-14
申请人： Matthew R. Arnold , Martin Vechev , Eran Yahav
发明人： Matthew R. Arnold , Martin Vechev , Eran Yahav
IPC分类号： G06F11/36 , G06F11/00
CPC分类号： G06F11/3636 , G06F11/366
摘要： A programming language support for debugging heap related errors includes one or more queries for determining one or more global properties associated with use of the area by the program. The one or more queries may be executed in parallel or concurrently and dynamically utilize available number of cores.
摘要翻译：用于调试堆相关错误的编程语言支持包括一个或多个查询，用于确定与程序使用该区域相关联的一个或多个全局属性。一个或多个查询可以并行地或并行地并且动态地利用可用数量的核来执行。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式