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

1. 发明授权

US07398516B2 Method and system for detecting race condition vulnerabilities in source code 失效
标题翻译：检测源代码中的竞争条件漏洞的方法和系统
公开(公告)号：US07398516B2
公开(公告)日：2008-07-08
申请号：US10824685
申请日：2004-04-15
申请人： Ryan James Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
发明人： Ryan James Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
IPC分类号： G06F9/44 , G06F12/14 , G06F21/00
CPC分类号： G06F11/3604 , G06F11/3624 , G06F21/57
摘要： A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models are derived for the code and the models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routines posses one or more of pre-selected vulnerabilities.
摘要翻译：一种检测源代码漏洞的方法和系统。源代码被解析为中间表示。为代码派生模型，然后结合预先规定的关于例程的规则来分析模型，以确定例程是否具有一个或多个预先选择的漏洞。

2. 发明授权

US07418734B2 Method and system for detecting privilege escalation vulnerabilities in source code 失效
标题翻译：检测源代码中特权升级漏洞的方法和系统
公开(公告)号：US07418734B2
公开(公告)日：2008-08-26
申请号：US10824684
申请日：2004-04-15
申请人： Ryan James Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
发明人： Ryan James Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
IPC分类号： G08B23/00
CPC分类号： G06F11/3604 , G06F11/3624 , G06F21/57
摘要： A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models are derived for the code and the models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.
摘要翻译：一种检测源代码漏洞的方法和系统。源代码被解析为中间表示。为代码派生模型，然后结合预先规定的关于例程的规则来分析模型，以确定例程调用是否具有一个或多个预先选择的漏洞。

3. 发明授权

US07240332B2 Method and system for detecting vulnerabilities in source code 失效
标题翻译：检测源代码漏洞的方法和系统
公开(公告)号：US07240332B2
公开(公告)日：2007-07-03
申请号：US10825007
申请日：2004-04-15
申请人： Ryan James Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
发明人： Ryan James Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
IPC分类号： G06F9/44 , G06F12/14 , G06F21/00
CPC分类号： G06F21/577 , G06F8/43 , G06F11/3604
摘要： A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.
摘要翻译：一种检测源代码漏洞的方法和系统。源代码被解析为中间表示。为代码中的变量以及与常规调用结合使用的变量和/或表达式导出模型（例如，以格子形式）。然后将这些模型与关于例程的预先规定的规则一起进行分析，以确定例程调用是否具有一个或多个预先选择的漏洞。

4. 发明授权

US08156483B2 Method and system for detecting vulnerabilities in source code 失效
标题翻译：检测源代码漏洞的方法和系统
公开(公告)号：US08156483B2
公开(公告)日：2012-04-10
申请号：US12163398
申请日：2008-06-27
申请人： Ryan J. Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
发明人： Ryan J. Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
IPC分类号： G06F9/45
CPC分类号： G06F21/577 , G06F8/43 , G06F11/3604
摘要： A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.
摘要翻译：一种检测源代码漏洞的方法和系统。源代码被解析为中间表示。为代码中的变量以及与常规调用结合使用的变量和/或表达式导出模型（例如，以格子形式）。然后将这些模型与关于例程的预先规定的规则一起进行分析，以确定例程调用是否具有一个或多个预先选择的漏洞。

5. 发明授权

US07398517B2 Method and system for detecting vulnerabilities in source code 失效
标题翻译：检测源代码漏洞的方法和系统
公开(公告)号：US07398517B2
公开(公告)日：2008-07-08
申请号：US11762475
申请日：2007-06-13
申请人： Ryan J. Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
发明人： Ryan J. Berg , Larry Rose , John Peyton , John J. Danahy , Robert Gottlieb , Chris Rehbein
IPC分类号： G06F9/44 , G06F12/14 , G06F21/00
CPC分类号： G06F21/577 , G06F8/43 , G06F11/3604
摘要： A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.
摘要翻译：一种检测源代码漏洞的方法和系统。源代码被解析为中间表示。为代码中的变量以及与常规调用结合使用的变量和/或表达式导出模型（例如，以格子形式）。然后将这些模型与关于例程的预先规定的规则一起进行分析，以确定例程调用是否具有一个或多个预先选择的漏洞。

6. 发明申请

US20050010806A1 Method and system for detecting privilege escalation vulnerabilities in source code 失效
标题翻译：检测源代码中特权升级漏洞的方法和系统
公开(公告)号：US20050010806A1
公开(公告)日：2005-01-13
申请号：US10824684
申请日：2004-04-15
申请人： Ryan Berg , Larry Rose , John Peyton , John Danahy , Robert Gottlieb , Chris Rehbein
发明人： Ryan Berg , Larry Rose , John Peyton , John Danahy , Robert Gottlieb , Chris Rehbein
IPC分类号： G06F9/44 , H04L9/00
CPC分类号： G06F11/3604 , G06F11/3624 , G06F21/57
摘要： A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models are derived for the code and the models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.
摘要翻译：一种检测源代码漏洞的方法和系统。源代码被解析为中间表示。为代码派生模型，然后结合预先规定的关于例程的规则来分析模型，以确定例程调用是否具有一个或多个预先选择的漏洞。

7. 发明授权

US07617489B2 Method and system for detecting interprocedural vulnerability by analysis of source code 失效
标题翻译：通过源代码分析检测程序间漏洞的方法和系统
公开(公告)号：US07617489B2
公开(公告)日：2009-11-10
申请号：US11522039
申请日：2006-09-15
申请人： John Peyton , Robert Gottlieb
发明人： John Peyton , Robert Gottlieb
IPC分类号： G06F9/44
CPC分类号： G06F21/577
摘要： Methods and systems of detecting vulnerabilities in source code using inter-procedural analysis of source code. Vulnerabilities in a pre-existing source code listing are detected. The variables in the source code listing are modeled in the context of at least one of the inherent control flow and inherent data flow. The variable models are used to create models of arguments to routine calls in the source code listing. The source code listing is modeled with a call graph to represent routine call interactions expressed in the source code listing. The arguments to routine calls are modeled to account for inter-procedural effects and dependencies on the arguments as expressed in the source code listing.
摘要翻译：使用源代码的程序间分析来检测源代码中的漏洞的方法和系统。检测到预先存在的源代码列表中的漏洞。源代码列表中的变量在至少一个固有控制流和固有数据流的上下文中进行建模。变量模型用于在源代码列表中为常规调用创建参数模型。源代码列表使用调用图进行建模，以表示在源代码列表中表示的常规调用交互。常规调用的参数被建模以考虑到程序间的影响，并且依赖于源代码列表中表达的参数。

8. 发明申请

US20080072214A1 Method and system for detecting interprocedural vulnerability by analysis of source code 失效
标题翻译：通过源代码分析检测程序间漏洞的方法和系统
公开(公告)号：US20080072214A1
公开(公告)日：2008-03-20
申请号：US11522039
申请日：2006-09-15
申请人： John Peyton , Robert Gottlieb
发明人： John Peyton , Robert Gottlieb
IPC分类号： G06F9/455
CPC分类号： G06F21/577
摘要： Methods and systems of detecting vulnerabilities in source code using inter-procedural analysis of source code. Vulnerabilities in a pre-existing source code listing are detected. The variables in the source code listing are modeled in the context of at least one of the inherent control flow and inherent data flow. The variable models are used to create models of arguments to routine calls in the source code listing. The source code listing is modeled with a call graph to represent routine call interactions expressed in the source code listing. The arguments to routine calls are modeled to account for inter-procedural effects and dependencies on the arguments as expressed in the source code listing.
摘要翻译：使用源代码的程序间分析来检测源代码中的漏洞的方法和系统。检测到预先存在的源代码列表中的漏洞。源代码列表中的变量在至少一个固有控制流和固有数据流的上下文中进行建模。变量模型用于在源代码列表中为常规调用创建参数模型。源代码列表使用调用图进行建模，以表示在源代码列表中表示的常规调用交互。常规调用的参数被建模以考虑到程序间的影响，并且依赖于源代码列表中表达的参数。

9. 发明申请

US20090266039A1 HORSE MOUNTING STIRRUP 有权
标题翻译：安装安装
公开(公告)号：US20090266039A1
公开(公告)日：2009-10-29
申请号：US12500326
申请日：2009-07-09
申请人： Robert Gottlieb
发明人： Robert Gottlieb
IPC分类号： B68C3/02 , B68C3/00
CPC分类号： B68C3/02 , B68C2003/0025 , B68C2003/0075
摘要： A horse stirrup which also functions as a mounting aid by providing, in the same assembly, a foot supporting platform for riding, as well as a convenient, lower level platform for mounting. The mounting platform, and related structure, also function, in cooperation with the riding platform, to reduce the exposure of the rider to stirrup foot lock in case of a fall.
摘要翻译：通过在同一组件中提供用于骑行的脚支撑平台以及用于安装的方便的较低级平台，也可用作安装辅助装置的马蹬。安装平台及相关结构也可以与骑乘平台配合，在跌倒的情况下减少骑手对蹬脚锁的暴露。

10. 外观设计

USD422712S Closure for specimen collection container 失效
公开(公告)号：USD422712S
公开(公告)日：2000-04-11
申请号：US76536
申请日：1997-09-12
申请人： Volker Niermann , Don Carano , Steve Savitz , Robert Gottlieb
设计人： Volker Niermann , Don Carano , Steve Savitz , Robert Gottlieb

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式