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

1. 发明申请

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.
摘要翻译：响应于检测到正在运行的应用中的断言，采用在处理器上执行的应用的快照。在允许应用程序继续执行的同时异步地基于快照来评估断言。断言评估的结果将返回给应用程序。

2. 发明申请

US20120174229A1 Runtime Enforcement Of Security Checks 失效
标题翻译：运行时执行安全检查
公开(公告)号：US20120174229A1
公开(公告)日：2012-07-05
申请号：US12983407
申请日：2011-01-03
申请人： Marco Pistoia , Omer Tripp , Martin Vechev
发明人： Marco Pistoia , Omer Tripp , Martin Vechev
IPC分类号： G06F11/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.
摘要翻译：公开了一种方法，其包括通过执行程序将不可信任的输入跟踪到宿中，所述跟踪包括基于所述不可信任的输入流入宿来维持宿的上下文作为字符串。该方法还包括响应于基于不可信输入的字符串的跟踪而被跟踪，并且如果字符串流入接收器的当前上下文，则确定该字符串可能导致攻击，认证字符串使用至少基于汇的当前上下文选择的支持者，并将批准的字符串提供给汇点。还公开了计算机程序产品和装置。

3. 发明申请

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.
摘要翻译：在一方面，检测部署系统中的缺陷，识别在计算机程序中使用的一个或多个监视代理。测量计算机程序的总执行度量和与一个或多个监视代理相关联的执行度量，并将测量执行度量与指定的开销标准进行比较。当计算机程序正在执行以满足指定的开销标准时，基于比较步骤调整一个或多个监视代理的执行。

4. 发明授权

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.
摘要翻译：公开了一种方法，其包括通过执行程序将不可信任的输入跟踪到宿中，所述跟踪包括基于所述不可信任的输入流入宿来维持宿的上下文作为字符串。该方法还包括响应于基于不可信输入的字符串的跟踪而被跟踪，并且如果字符串流入接收器的当前上下文，则确定该字符串可能导致攻击，认证字符串使用至少基于汇的当前上下文选择的支持者，并将批准的字符串提供给汇点。还公开了计算机程序产品和装置。

5. 发明申请

US20130275951A1 RACE DETECTION FOR WEB APPLICATIONS 审中-公开
标题翻译： WEB应用程序检测
公开(公告)号：US20130275951A1
公开(公告)日：2013-10-17
申请号：US13447814
申请日：2012-04-16
申请人： Julian Dolby , Boris Petrov , Manu Sridharan , Martin Vechev
发明人： Julian Dolby , Boris Petrov , Manu Sridharan , Martin Vechev
IPC分类号： G06F9/44
CPC分类号： G06F11/366
摘要： A method of executing a rendering engine including executing a web application including at least two operations a single thread of execution, generating an auxiliary map for instrumentation accesses of the web application, and detecting and reporting concurrent memory accesses of the web application as a race.
摘要翻译：一种执行呈现引擎的方法，包括执行包括执行单个线程的至少两个操作的web应用程序，生成用于web应用程序的访问的辅助映射，以及检测并报告作为比赛的web应用程序的并发存储器访问。

6. 发明申请

US20100011362A1 METHODS FOR SINGLE-OWNER MULTI-CONSUMER WORK QUEUES FOR REPEATABLE TASKS 失效
标题翻译：用于可重复任务的单一多消费者工作队伍的方法
公开(公告)号：US20100011362A1
公开(公告)日：2010-01-14
申请号：US12172577
申请日：2008-07-14
申请人： Maged M. Michael , Vijay Anand Saraswat , Martin Vechev
发明人： Maged M. Michael , Vijay Anand Saraswat , Martin Vechev
IPC分类号： G06F9/46
CPC分类号： G06F9/52 , G06F9/526 , G06F2209/521
摘要： There are provided methods for single-owner multi-consumer work queues for repeatable tasks. A method includes permitting a single owner thread of a single owner, multi-consumer, work queue to access the work queue using atomic instructions limited to only a single access and using non-atomic operations. The method further includes restricting the single owner thread from accessing the work queue using atomic instructions involving more than one access. The method also includes synchronizing amongst other threads with respect to their respective accesses to the work queue.
摘要翻译：提供了用于可重复任务的单个所有者多消费者工作队列的方法。一种方法包括允许单个所有者，多消费者工作队列的单个所有者线程使用仅限于单个访问并使用非原子操作的原子指令访问工作队列。该方法还包括限制单个所有者线程使用涉及多于一个访问的原子指令访问工作队列。该方法还包括在其他线程之间相对于其对工作队列的相应访问进行同步。

7. 发明授权

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.
摘要翻译：用于调试堆相关错误的编程语言支持包括一个或多个查询，用于确定与程序使用该区域相关联的一个或多个全局属性。一个或多个查询可以并行地或并行地并且动态地利用可用数量的核来执行。

8. 发明授权

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.
摘要翻译：响应于检测到正在运行的应用中的断言，采用在处理器上执行的应用的快照。在允许应用程序继续执行的同时异步地基于快照来评估断言。断言评估的结果将返回给应用程序。

9. 发明授权

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.
摘要翻译：在一方面，检测部署系统中的缺陷，识别在计算机程序中使用的一个或多个监视代理。测量计算机程序的总执行度量和与一个或多个监视代理相关联的执行度量，并将测量执行度量与指定的开销标准进行比较。当计算机程序正在执行以满足指定的开销标准时，基于比较步骤调整一个或多个监视代理的执行。

10. 发明申请

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.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式