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

41. 发明申请

US20100043048A1 System, Method, and Apparatus for Modular, String-Sensitive, Access Rights Analysis with Demand-Driven Precision 有权
标题翻译：用于采用需求驱动精度的模块化，字符串敏感的访问权限分析的系统，方法和装置
公开(公告)号：US20100043048A1
公开(公告)日：2010-02-18
申请号：US12190718
申请日：2008-08-13
申请人： Julian Timothy Dolby , Emmanuel Geay , Marco Pistoia , Barbara G. Ryder , Takaaki Tateishi
发明人： Julian Timothy Dolby , Emmanuel Geay , Marco Pistoia , Barbara G. Ryder , Takaaki Tateishi
IPC分类号： G06F21/00
CPC分类号： G06F21/57 , G06F21/53 , G06F21/6218
摘要： A static analysis for identification of permission-requirements on stack-inspection authorization systems is provided. The analysis employs functional modularity for improved scalability. To enhance precision, the analysis utilizes program slicing to detect the origin of each parameter passed to a security-sensitive function. Furthermore, since strings are essential when defining permissions, the analysis integrates a sophisticated string analysis that models string computations.
摘要翻译：提供了一个用于识别堆栈检查授权系统的许可要求的静态分析。该分析采用功能模块化，以提高可扩展性。为了提高精度，分析使用程序分片来检测传递给安全敏感功能的每个参数的原点。此外，由于字符串在定义权限时至关重要，因此分析集成了一个用于模拟字符串计算的复杂字符串分析。

42. 发明授权

US08572674B2 System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision 有权
标题翻译：用于采用需求驱动精度的模块化，字符串敏感的访问权限分析的系统，方法和设备
公开(公告)号：US08572674B2
公开(公告)日：2013-10-29
申请号：US12190718
申请日：2008-08-13
申请人： Julian Timothy Dolby , Emmanuel Geay , Marco Pistoia , Barbara G. Ryder , Takaaki Tateishi
发明人： Julian Timothy Dolby , Emmanuel Geay , Marco Pistoia , Barbara G. Ryder , Takaaki Tateishi
IPC分类号： H04L29/06
CPC分类号： G06F21/57 , G06F21/53 , G06F21/6218
摘要： A static analysis for identification of permission-requirements on stack-inspection authorization systems is provided. The analysis employs functional modularity for improved scalability. To enhance precision, the analysis utilizes program slicing to detect the origin of each parameter passed to a security-sensitive function. Furthermore, since strings are essential when defining permissions, the analysis integrates a sophisticated string analysis that models string computations.
摘要翻译：提供了一个用于识别堆栈检查授权系统的许可要求的静态分析。该分析采用功能模块化，以提高可扩展性。为了提高精度，分析使用程序分片来检测传递给安全敏感功能的每个参数的原点。此外，由于字符串在定义权限时至关重要，因此分析集成了一个用于模拟字符串计算的复杂字符串分析。

43. 发明授权

US08365280B2 System, method, and program for determining validity of string 失效
标题翻译：用于确定字符串有效性的系统，方法和程序
公开(公告)号：US08365280B2
公开(公告)日：2013-01-29
申请号：US12825610
申请日：2010-06-29
申请人： Yinnon Avraham Haviv , Marco Pistoia , Naoshi Tabuchi , Takaaki Tateishi
发明人： Yinnon Avraham Haviv , Marco Pistoia , Naoshi Tabuchi , Takaaki Tateishi
IPC分类号： G06F11/00
CPC分类号： G06F21/577 , G06F8/43 , G06F11/3604 , G06F21/563
摘要： A computer-implemented method, program product, and system for determining the validity of a string generated by a computer programming language program. The method includes: abstracting a constraint between variables extracted from a source code for a programming language, describing the constraint in M2L, and storing the constraint; and evaluating the validity of the string on an M2L solver on the basis of the constraint and a M2L specification to determine whether the string is safe or unsafe.
摘要翻译：用于确定由计算机程序设计语言程序生成的字符串的有效性的计算机实现的方法，程序产品和系统。该方法包括：从用于编程语言的源代码提取的变量之间抽取约束，描述M2L中的约束，并存储该约束; 并基于约束和M2L规范来评估M2L求解器上的字符串的有效性，以确定字符串是安全还是不安全。

44. 发明授权

US08561035B2 Method and system to discover possible program variable values by connecting program value extraction with external data sources 失效
标题翻译：通过将程序值提取与外部数据源连接来发现可能的程序变量值的方法和系统
公开(公告)号：US08561035B2
公开(公告)日：2013-10-15
申请号：US12553486
申请日：2009-09-03
申请人： Sergej Chicherin , Nikolai A. Joukov , Birgit Pfitzmann , Marco Pistoia , Vasily Tarasov , Takaaki Tateishi , Norbert G. Vogl
发明人： Sergej Chicherin , Nikolai A. Joukov , Birgit Pfitzmann , Marco Pistoia , Vasily Tarasov , Takaaki Tateishi , Norbert G. Vogl
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/75 , G06F9/44505
摘要： A system and method of discovering one or more program variable values may extract an abstract interpretation of a program variable used in a computer program, locate installation-specific repositories associated with the computer program, parse the located installation-specific repositories and extract one or more configuration parameters, and substitute the one or more configuration parameters into the extracted abstract interpretation.
摘要翻译：发现一个或多个程序变量值的系统和方法可以提取在计算机程序中使用的程序变量的抽象解释，定位与计算机程序相关联的特定于安装的存储库，解析所定位的安装专用存储库并提取一个或多个配置参数，并将一个或多个配置参数替换为提取的抽象解释。

45. 发明授权

US08473899B2 Automatic optimization of string allocations in a computer program 失效
标题翻译：自动优化计算机程序中的字符串分配
公开(公告)号：US08473899B2
公开(公告)日：2013-06-25
申请号：US12638581
申请日：2009-12-15
申请人： Paolina Centonze , Mohammed Mostafa , Marco Pistoia , Takaaki Tateishi
发明人： Paolina Centonze , Mohammed Mostafa , Marco Pistoia , Takaaki Tateishi
IPC分类号： G06F9/44 , G06F9/45 , G06F17/20 , G06F17/15 , G06F15/16
CPC分类号： G06F8/4434
摘要： Access is obtained to an input object-oriented computer program. In the input object-oriented computer program, semantically equivalent objects are identified, which exist in different memory locations. If at least one of: a number of occurrences for the semantically equivalent objects exceeds a first threshold value, the threshold value being at least two; and a number of equality tests on the semantically equivalent objects exceeds a second threshold value, then a further step includes identifying an application program interface to reduce the semantically equivalent objects to a single object in a single memory location.
摘要翻译：获取到输入面向对象的计算机程序。在输入面向对象的计算机程序中，识别了语义上等效的对象，存在于不同的存储器位置。如果以下中的至少一个：用于语义等效对象的多个事件超过第一阈值，则该阈值为至少两个; 并且对于语义上等价的对象的多个等式测试超过第二阈值，则进一步的步骤包括识别应用程序接口以将语义上等价的对象减少到单个存储器位置中的单个对象。

46. 发明申请

US20110145785A1 Automatic Optimization of String Allocations in a Computer Program 失效
标题翻译：计算机程序中字符串分配的自动优化
公开(公告)号：US20110145785A1
公开(公告)日：2011-06-16
申请号：US12638581
申请日：2009-12-15
申请人： Paolina Centonze , Mohammed Mostafa , Marco Pistoia , Takaaki Tateishi
发明人： Paolina Centonze , Mohammed Mostafa , Marco Pistoia , Takaaki Tateishi
IPC分类号： G06F9/44
CPC分类号： G06F8/4434
摘要： Access is obtained to an input object-oriented computer program. In the input object-oriented computer program, semantically equivalent objects are identified, which exist in different memory locations. If at least one of: a number of occurrences for the semantically equivalent objects exceeds a first threshold value, the threshold value being at least two; and a number of equality tests on the semantically equivalent objects exceeds a second threshold value, then a further step includes identifying an application program interface to reduce the semantically equivalent objects to a single object in a single memory location.
摘要翻译：获取到输入面向对象的计算机程序。在输入面向对象的计算机程序中，识别了语义上等效的对象，存在于不同的存储器位置。如果以下中的至少一个：用于语义等效对象的多个事件超过第一阈值，则该阈值为至少两个; 并且对于语义上等价的对象的多个等式测试超过第二阈值，则进一步的步骤包括识别应用程序接口以将语义上等价的对象减少到单个存储器位置中的单个对象。

47. 发明申请

US20110055806A1 METHOD AND SYSTEM TO DISCOVER POSSIBLE PROGRAM VARIABLE VALUES BY CONNECTING PROGRAM VALUE EXTRACTION WITH EXTERNAL DATA SOURCES 失效
标题翻译：通过将程序值提取与外部数据源连接来发现可能的程序变量值的方法和系统
公开(公告)号：US20110055806A1
公开(公告)日：2011-03-03
申请号：US12553486
申请日：2009-09-03
申请人： Sergej Chicherin , Nikolai A. Joukov , Birgit Pfitzmann , Marco Pistoia , Vasily Tarasov , Takaaki Tateishi , Norbert G. Vogl
发明人： Sergej Chicherin , Nikolai A. Joukov , Birgit Pfitzmann , Marco Pistoia , Vasily Tarasov , Takaaki Tateishi , Norbert G. Vogl
IPC分类号： G06F17/30
CPC分类号： G06F8/75 , G06F9/44505
摘要： A system and method of discovering one or more program variable values may extract an abstract interpretation of a program variable used in a computer program, locate installation-specific repositories associated with the computer program, parse the located installation-specific repositories and extract one or more configuration parameters, and substitute the one or more configuration parameters into the extracted abstract interpretation.
摘要翻译：发现一个或多个程序变量值的系统和方法可以提取在计算机程序中使用的程序变量的抽象解释，定位与计算机程序相关联的特定于安装的存储库，解析所定位的安装专用存储库并提取一个或多个配置参数，并将一个或多个配置参数替换为提取的抽象解释。

48. 发明申请

US20110029946A1 EFFICIENT EXTRACTION OF SOFTWARE DEPENDENCIES FROM PROGRAM CODE 有权
标题翻译：从程序代码中有效提取软件依赖
公开(公告)号：US20110029946A1
公开(公告)日：2011-02-03
申请号：US12511506
申请日：2009-07-29
申请人： Nikolai A. Joukov , Birgit M. Pfitzmann , Marco Pistoia , Vasily Tarasov , Takaaki Tateishi , Norbert G. Vogl
发明人： Nikolai A. Joukov , Birgit M. Pfitzmann , Marco Pistoia , Vasily Tarasov , Takaaki Tateishi , Norbert G. Vogl
IPC分类号： G06F9/44
CPC分类号： G06F11/3692 , G06F8/70
摘要： Calls to stop functions are identified in a computer program file. The stop functions are functions that interact with external resources. Parameters of the calls to the stop functions that are references to the external resources are identified. An analysis is performed over the computer program file to find out possible values of the parameters of the calls.
摘要翻译：在计算机程序文件中标识了停止功能的呼叫。停止功能是与外部资源交互的功能。标识对引用外部资源的停止功能的调用参数。对计算机程序文件执行分析，以查找调用参数的可能值。

49. 发明授权

US07849404B2 System for determining whether screen displayed by program satisfies specification 失效
标题翻译：用于确定由程序显示的屏幕是否满足规格的系统
公开(公告)号：US07849404B2
公开(公告)日：2010-12-07
申请号：US11695692
申请日：2007-04-03
申请人： Takaaki Tateishi , Hisashi Miyashita , Akihiko Tozawa , Shin Saito , Naoshi Tabuchi
发明人： Takaaki Tateishi , Hisashi Miyashita , Akihiko Tozawa , Shin Saito , Naoshi Tabuchi
IPC分类号： G06F17/00
CPC分类号： G06F11/3604
摘要： It is determined whether a plurality of screens to be sequentially displayed by a process of a program satisfies a specification without executing this program. A system of the present invention stores a first schema prescribing a specification of a first screen, a second schema prescribing a specification of a second screen, and an event switching the display by program from the first screen to the second screen. First, a partial program executed in response to an event generated during displaying the screen satisfying the first schema is extracted from a program on the basis of the first schema and the event. Next, an intermediate program for calculating a set of screens being displayed in response to an event generated during displaying screens in a set of screens satisfying the first schema from this set is generated on the basis of the partial program. Next, it is determined that these screens satisfy a specification on condition that the first screen satisfies the first schema and a set of screens obtained by applying the intermediate program to the first schema satisfies the second schema.
摘要翻译：通过程序的处理来确定要顺序地显示的多个屏幕是否满足规范而不执行该程序。本发明的系统存储规定第一屏幕的规格的第一模式，规定第二屏幕的指定的第二模式以及通过程序将显示从第一屏幕切换到第二屏幕的事件。首先，基于第一模式和事件从程序中提取响应于在显示满足第一模式的屏幕期间产生的事件而执行的部分程序。接下来，基于部分程序生成用于计算响应于在从一组中满足第一模式的一组屏幕中显示屏幕期间产生的事件而产生的事件而显示的屏幕的中间程序。接下来，确定这些屏幕在第一屏幕满足第一模式的条件下满足规范，并且通过将中间程序应用于第一模式而获得的一组屏幕满足第二模式。

50. 发明申请

US20080270993A1 Computer program testing after source code modification using execution conditions 有权
标题翻译：使用执行条件进行源代码修改后的计算机程序测试
公开(公告)号：US20080270993A1
公开(公告)日：2008-10-30
申请号：US12172254
申请日：2008-07-13
申请人： Takaaki Tateishi , Fumihiko Kitayama
发明人： Takaaki Tateishi , Fumihiko Kitayama
IPC分类号： G06F9/44
CPC分类号： G06F11/3688
摘要： Computer program testing after source code for the computer program has been modified is performed more quickly, by using execution conditions. First, second, and third execution conditions are determined. These execution conditions are used to perform testing of the program to determine whether the program is properly functioning. Particularly, test data on which basis testing of the computer program is performed can be classified as first test data, second test data, third test data, or fourth test data. The program prior to modification of the source code is tested by employing the first, second, and third test data. After the source code is modified, the program is retested by employing only the third and the fourth test data. The program is thus properly retested after source code modification by employing only the third and the fourth test data, without having to employ the first and the second test data.
摘要翻译：通过使用执行条件，计算机程序的源代码之后的计算机程序测试更加快速地执行。确定第一，第二和第三执行条件。这些执行条件用于执行程序的测试以确定程序是否正常运行。特别地，可以将执行计算机程序的基础测试的测试数据分类为第一测试数据，第二测试数据，第三测试数据或第四测试数据。通过采用第一，第二和第三测试数据来测试源代码修改之前的程序。在修改源代码之后，通过仅使用第三和第四测试数据重新测试该程序。因此，通过仅使用第三和第四测试数据，在源代码修改之后，该程序被适当地重新测试，而不必使用第一和第二测试数据。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式