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

1. 发明授权

US08656496B2 Global variable security analysis 失效
标题翻译：全局变量安全性分析
公开(公告)号：US08656496B2
公开(公告)日：2014-02-18
申请号：US12951435
申请日：2010-11-22
申请人： Shay Artzi , Ryan Berg , John Peyton , Marco Pistoia , Manu Sridharan , Takaaki Tateishi , Omer Tripp , Robert Wiener
发明人： Shay Artzi , Ryan Berg , John Peyton , Marco Pistoia , Manu Sridharan , Takaaki Tateishi , Omer Tripp , Robert Wiener
IPC分类号： G06F11/07 , G06F9/455
CPC分类号： G06F21/577 , G06F21/00 , G06F2221/034
摘要： A method includes determining selected global variables in a program for which flow of the selected global variables through the program is to be tracked. The selected global variables are less than all the global variables in the program. The method includes using a static analysis performed on the program, tracking flow through the program for the selected global variables. In response to one or more of the selected global variables being used in security-sensitive operations in the flow, use is analyzed of each one of the selected global variables in a corresponding security-sensitive operation. In response to a determination the use may be a potential security violation, the potential security violation is reported. Apparatus and computer program products are also disclosed.
摘要翻译：一种方法包括确定在所述程序中选择的全局变量，通过所述程序，所选择的全局变量的流程将被跟踪。所选的全局变量小于程序中的所有全局变量。该方法包括使用对程序执行的静态分析，跟踪所选择的全局变量的程序流程。响应于在流中的安全敏感操作中使用的一个或多个所选择的全局变量，在相应的安全敏感操作中对所选择的全局变量中的每一个进行分析。为了回应确定，使用可能是潜在的安全违规，报告潜在的安全违规。还公开了装置和计算机程序产品。

2. 发明申请

US20120131669A1 Determining whether method of computer program is a validator 失效
标题翻译：确定计算机程序的方法是否为验证程序
公开(公告)号：US20120131669A1
公开(公告)日：2012-05-24
申请号：US12950432
申请日：2010-11-19
申请人： Takaaki Tateishi , Marco Pistoia , Omer Tripp , Ryan Berg , Robert Wiener
发明人： Takaaki Tateishi , Marco Pistoia , Omer Tripp , Ryan Berg , Robert Wiener
IPC分类号： G06F21/00
CPC分类号： G06F21/50 , G06F21/563
摘要： An illegal pattern and a computer program having a method are received. The method has one or more return statements, and a number of basic blocks. The method is normalized so that each return statement of the target method relating to the illegal pattern returns a constant Boolean value. A first path condition and a second path condition for one or more corresponding paths is determined such that one or more corresponding basic blocks return a constant Boolean value of true for the first path condition and a constant Boolean value of false for the second path condition. An unsatisfiability of each path condition is determined using a monadic second-order logic (M2L) technique. Where the unsatisfiability of either path condition is false, the method is reported as not being a validator. Where the unsatisfiability of either path condition is true, the method is reported as being a validator.
摘要翻译：接收到具有方法的非法模式和计算机程序。该方法具有一个或多个返回语句和一些基本块。该方法被归一化，使得与非法模式相关的目标方法的每个返回语句返回一个常量布尔值。确定用于一个或多个对应路径的第一路径条件和第二路径条件，使得一个或多个对应的基本块返回针对第一路径条件的常数布尔值为true，对于第二路径条件返回常量布尔值为假。使用一元二阶逻辑（M2L）技术确定每个路径条件的不满足性。如果任一路径条件的不满足性为假，则将该方法报告为不是验证器。如果任一路径条件的不满足性为真，则将该方法报告为验证器。

3. 发明申请

US20120102471A1 GENERATING SPECIFICATIONS OF CLIENT-SERVER APPLICATIONS FOR STATIC ANALYSIS 失效
标题翻译：客户服务器应用的静态分析生成规范
公开(公告)号：US20120102471A1
公开(公告)日：2012-04-26
申请号：US12912345
申请日：2010-10-26
申请人： Shay ARTZI , Ryan BERG , John T. PEYTON, JR. , Marco PISTOIA , Manu SRIDHARAN , Robert WIENER
发明人： Shay ARTZI , Ryan BERG , John T. PEYTON, JR. , Marco PISTOIA , Manu SRIDHARAN , Robert WIENER
IPC分类号： G06F9/44 , G06F17/30
CPC分类号： G06F8/30
摘要： Systems and methods are provided for creating a data structure associated with a software application that is based on at least one framework. According to the method, source code and at least one configuration file of the software application is analyzed by at least one framework-specific processor so as to determine entry point information indicating entry points in the source code, request attribute access information indicating where attributes attached to a request data structure are read and written, and forward information indicating forwards performed by the software application. A data structure for a static analysis engine is created based on this information. The data structure includes a list of synthetic methods that model framework-related behavior of the software application, and a list of entry points indicating the synthetic methods and/or application methods of the software application that can be invoked by the framework.
摘要翻译：系统和方法被提供用于创建与基于至少一个框架的软件应用相关联的数据结构。根据该方法，由至少一个特定于框架的处理器分析软件应用的源代码和至少一个配置文件，以便确定指示源代码中的入口点的入口点信息，指示所附属性的属性访问信息读取和写入请求数据结构，以及指示由软件应用执行的转发的转发信息。基于此信息创建静态分析引擎的数据结构。数据结构包括对软件应用程序的框架相关行为进行建模的综合方法列表，以及指示框架可以调用的软件应用程序的合成方法和/或应用方法的入口点列表。

4. 发明授权

US4143852A Reusable gasket for use in and in combination with a molding apparatus 失效
标题翻译：可重复使用的垫圈，用于和与模制设备组合使用
公开(公告)号：US4143852A
公开(公告)日：1979-03-13
申请号：US647188
申请日：1976-01-07
申请人： Robert Wiener
发明人： Robert Wiener
IPC分类号： B29C33/00 , B29C33/60 , B29C39/26 , B29C1/04
CPC分类号： B29C33/0038 , B29C33/60 , B29C39/265 , B29K2909/08
摘要： A reusable gasket for use in and in combination with a molding apparatus for casting articles of acrylic monomer plastic or the like. The gasket comprises a mold and casting release surface for contact with a cast plastic article and the two mold surfaces and includes a core of elastomeric material completely, but loosely encased in a tube impervious to passage therethrough by the material of the core and the material of the plastic article to be cast. The impervious tube may be of polytetrafluoroethylene, polyamide, polyethylene, or like material. The mold and casting release surface is preferably silver. A plurality of gasket members are placed in end-to-end relationship between a pair of plate members in a molding apparatus to define a casting cavity. A plug in the form of a wedge may be used to close a gap between adjacent ends of two gasket members through which casting material may be flowed into the cavity prior to closing the gap.
摘要翻译：一种可重复使用的垫圈，用于与用于铸造丙烯酸类单体塑料制品等的成型装置结合使用。垫圈包括用于与铸造塑料制品和两个模具表面接触的模具和铸造释放表面，并且包括完整的弹性体材料芯，但是松散地包裹在不透过芯的材料的管中穿过的管中，要塑造的塑料制品。不透水管可以是聚四氟乙烯，聚酰胺，聚乙烯等材料。模具和脱模表面优选为银。多个垫圈构件以成型装置中的一对板构件之间的端对端关系放置以限定铸造腔。可以使用楔形形式的塞子来封闭两个垫圈构件的相邻端之间的间隙，在封闭间隙之前，浇注材料可以通过该间隙流入空腔。

5. 发明授权

US08365281B2 Determining whether method of computer program is a validator 失效
标题翻译：确定计算机程序的方法是否为验证程序
公开(公告)号：US08365281B2
公开(公告)日：2013-01-29
申请号：US12950432
申请日：2010-11-19
申请人： Takaaki Tateishi , Marco Pistoia , Omer Tripp , Ryan Berg , Robert Wiener
发明人： Takaaki Tateishi , Marco Pistoia , Omer Tripp , Ryan Berg , Robert Wiener
IPC分类号： G06F11/00 , G06F11/30 , H04L29/06 , H04L9/32
CPC分类号： G06F21/50 , G06F21/563
摘要： An illegal pattern and a computer program having a method are received. The method has one or more return statements, and a number of basic blocks. The method is normalized so that each return statement of the target method relating to the illegal pattern returns a constant Boolean value. A first path condition and a second path condition for one or more corresponding paths is determined such that one or more corresponding basic blocks return a constant Boolean value of true for the first path condition and a constant Boolean value of false for the second path condition. An unsatisfiability of each path condition is determined using a monadic second-order logic (M2L) technique. Where the unsatisfiability of either path condition is false, the method is reported as not being a validator. Where the unsatisfiability of either path condition is true, the method is reported as being a validator.
摘要翻译：接收到具有方法的非法模式和计算机程序。该方法具有一个或多个返回语句和一些基本块。该方法被归一化，使得与非法模式相关的目标方法的每个返回语句返回一个常量布尔值。确定用于一个或多个对应路径的第一路径条件和第二路径条件，使得一个或多个对应的基本块返回针对第一路径条件的常数布尔值为true，对于第二路径条件返回常量布尔值为假。使用一元二阶逻辑（M2L）技术确定每个路径条件的不满足性。如果任一路径条件的不满足性为假，则将该方法报告为不是验证器。如果任一路径条件的不满足性为真，则将该方法报告为验证器。

6. 发明申请

US20120131670A1 Global Variable Security Analysis 失效
标题翻译：全局变量安全分析
公开(公告)号：US20120131670A1
公开(公告)日：2012-05-24
申请号：US12951435
申请日：2010-11-22
申请人： Shay Artzi , Ryan Berg , John Peyton , Marco Pistoia , Manu Sridharan , Takaaki Tateishi , Omer Tripp , Robert Wiener
发明人： Shay Artzi , Ryan Berg , John Peyton , Marco Pistoia , Manu Sridharan , Takaaki Tateishi , Omer Tripp , Robert Wiener
IPC分类号： G06F21/00
CPC分类号： G06F21/577 , G06F21/00 , G06F2221/034
摘要： A method includes determining selected global variables in a program for which flow of the selected global variables through the program is to be tracked. The selected global variables are less than all the global variables in the program. The method includes using a static analysis performed on the program, tracking flow through the program for the selected global variables. In response to one or more of the selected global variables being used in security-sensitive operations in the flow, use is analyzed of each one of the selected global variables in a corresponding security-sensitive operation. In response to a determination the use may be a potential security violation, the potential security violation is reported. Apparatus and computer program products are also disclosed.
摘要翻译：一种方法包括确定在所述程序中选择的全局变量，通过所述程序，所选择的全局变量的流程将被跟踪。所选的全局变量小于程序中的所有全局变量。该方法包括使用对程序执行的静态分析，跟踪所选择的全局变量的程序流程。响应于在流中的安全敏感操作中使用的一个或多个所选择的全局变量，在相应的安全敏感操作中对所选择的全局变量中的每一个进行分析。为了回应确定，使用可能是潜在的安全违规，报告潜在的安全违规。还公开了装置和计算机程序产品。

7. 发明申请

US20070054316A1 Radical activated cleavage of biologics and microfluidic devices using the same 审中-公开
标题翻译：使用相同的生物制剂和微流体装置的激进活化裂解
公开(公告)号：US20070054316A1
公开(公告)日：2007-03-08
申请号：US10548925
申请日：2004-01-13
申请人： Robert Wiener
发明人： Robert Wiener
IPC分类号： G01N33/53 , C12Q1/68 , C12M3/00
CPC分类号： A43B19/00 , A43B7/125 , A43B23/07
摘要： Disclosed is a cleavage method for biological sample characterization using hydroxyl radical activated cleavage in place of traditional enzymatic approaches. The hydroxyl radicals are generated from a semiconductor excited by an energy source. A microfluidic device for the two-dimensional separation of biological samples by hydroxyl radical activated cleavage is also disclosed.
摘要翻译：公开了使用羟基自由基活化裂解代替传统酶法的生物样品表征的切割方法。羟基自由基由能量源激发的半导体产生。还公开了通过羟基自由基活化裂解二维分离生物样品的微流体装置。

8. 发明授权

US08434070B2 Generating specifications of client-server applications for static analysis 失效
标题翻译：生成用于静态分析的客户端 - 服务器应用程序的规范
公开(公告)号：US08434070B2
公开(公告)日：2013-04-30
申请号：US12912345
申请日：2010-10-26
申请人： Shay Artzi , Ryan Berg , John T. Peyton, Jr. , Marco Pistoia , Manu Sridharan , Robert Wiener
发明人： Shay Artzi , Ryan Berg , John T. Peyton, Jr. , Marco Pistoia , Manu Sridharan , Robert Wiener
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/30
摘要： Systems and methods are provided for creating a data structure associated with a software application that is based on at least one framework. According to the method, source code and at least one configuration file of the software application is analyzed by at least one framework-specific processor so as to determine entry point information indicating entry points in the source code, request attribute access information indicating where attributes attached to a request data structure are read and written, and forward information indicating forwards performed by the software application. A data structure for a static analysis engine is created based on this information. The data structure includes a list of synthetic methods that model framework-related behavior of the software application, and a list of entry points indicating the synthetic methods and/or application methods of the software application that can be invoked by the framework.
摘要翻译：系统和方法被提供用于创建与基于至少一个框架的软件应用相关联的数据结构。根据该方法，由至少一个特定于框架的处理器分析软件应用的源代码和至少一个配置文件，以便确定指示源代码中的入口点的入口点信息，指示附加属性的属性访问信息读取和写入请求数据结构，以及指示由软件应用执行的转发的转发信息。基于此信息创建静态分析引擎的数据结构。数据结构包括对软件应用程序的框架相关行为进行建模的综合方法列表，以及指示框架可以调用的软件应用程序的合成方法和/或应用方法的入口点列表。

9. 发明申请

US20120102474A1 STATIC ANALYSIS OF CLIENT-SERVER APPLICATIONS USING FRAMEWORK INDEPENDENT SPECIFICATIONS 审中-公开
标题翻译：使用框架独立规范的客户端服务器应用的静态分析
公开(公告)号：US20120102474A1
公开(公告)日：2012-04-26
申请号：US12912382
申请日：2010-10-26
申请人： Shay Artzi , Ryan Berg , Yinnon A. Haviv , John T. Peyton, JR. , Marco Pistoia , Manu Sridharan , Babita Sharma , Omri Weisman , Robert Wiener
发明人： Shay Artzi , Ryan Berg , Yinnon A. Haviv , John T. Peyton, JR. , Marco Pistoia , Manu Sridharan , Babita Sharma , Omri Weisman , Robert Wiener
IPC分类号： G06F9/45
CPC分类号： G06F8/75
摘要： Systems and methods are provided for statically analyzing a software application that is based on at least one framework. According to the method, source code of the software application and a specification associated with the software application are analyzed. The specification includes a list of synthetic methods that model framework-related behavior of the software application, and a list of entry points indicating the synthetic methods and/or application methods of the software application that can be invoked by the framework. Based on the source code and the specification, intermediate representations for the source code and the synthetic methods are generated. Based on the intermediate representations and the specification, call graphs are generated to model which application methods of the software application invoke synthetic methods or other application methods of the software application. The software application is statically analyzed based on the call graphs and the intermediate representations so as to generate analysis results for the software application.
摘要翻译：提供了系统和方法，用于静态分析基于至少一个框架的软件应用程序。根据该方法，分析软件应用的源代码和与软件应用相关的规范。该规范包括对软件应用程序的框架相关行为进行建模的综合方法列表，以及指示框架可以调用的软件应用程序的合成方法和/或应用方法的入口点列表。基于源代码和规范，生成源代码和合成方法的中间表示。基于中间表示和规范，生成调用图来模拟软件应用程序的哪些应用程序调用软件应用程序的合成方法或其他应用程序。基于调用图和中间表示静态分析软件应用程序，以生成软件应用程序的分析结果。

10. 发明授权

US3383487A Thin flexible magnetic switch 失效
标题翻译：薄柔性磁开关
公开(公告)号：US3383487A
公开(公告)日：1968-05-14
申请号：US56607766
申请日：1966-07-18
申请人： ROBERT WIENER
发明人： ROBERT WIENER
IPC分类号： H01H13/02 , H01H13/06 , H01H13/702 , H01H13/703 , H01H13/785
CPC分类号： H01H13/785 , H01H13/02 , H01H13/06 , H01H13/702 , H01H13/703 , H01H2009/0221 , H01H2201/012 , H01H2201/026 , H01H2207/02 , H01H2211/002 , H01H2211/028 , H01H2219/036 , H01H2221/016 , H01H2221/02 , H01H2221/022 , H01H2225/012 , H01H2227/002 , H01H2229/028 , H01H2229/038 , H01H2231/026 , Y10S200/02

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式