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

1. 发明申请

US20050015752A1 Static analysis based error reduction for software applications 审中-公开
标题翻译：基于静态分析的软件应用程序的减少误差
公开(公告)号：US20050015752A1
公开(公告)日：2005-01-20
申请号：US10620078
申请日：2003-07-15
申请人： Bowen Alpern , Robert Johnson , Aaron Kershenbaum , Lawrence Koved , George Leeman , Marco Pistoia , Darrell Reimer , Kavitha Srinivas , Harini Srinivasan
发明人： Bowen Alpern , Robert Johnson , Aaron Kershenbaum , Lawrence Koved , George Leeman , Marco Pistoia , Darrell Reimer , Kavitha Srinivas , Harini Srinivasan
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/3604
摘要： A system and method for providing “static analysis” of programs to aid in improving runtime performance, stability, security and privacy characteristics of deployed application code. The method includes performing a set of analyses that sifts through the program code and identifies programming security and/or privacy model coding errors. In particular the invention focuses on identifying coding errors that cause loss of correctness, performance degradation, security, privacy and maintainability vulnerabilities. A deep analysis of the program is performed using detailed control and data flow analyses. These deeper analyses provide a much better perspective of the overall application behavior. This deep analysis is in contrast to shallow analyses in current industry tools, which inspect or model a single or a few classes at a time.
摘要翻译：提供程序的“静态分析”的系统和方法，以帮助提高部署应用程序代码的运行时性能，稳定性，安全性和隐私特性。该方法包括执行通过程序代码筛选的一组分析，并识别编程安全性和/或隐私模型编码错误。特别地，本发明着重于识别导致正确性，性能下降，安全性，隐私和可维护性漏洞损失的编码错误。使用详细的控制和数据流分析对程序进行深入分析。这些更深入的分析为整体应用行为提供了更好的视角。这个深刻的分析与当前行业工具中的浅析分析形成对比，该工具一次检查或建立一个或几个类。

2. 发明申请

US20070169124A1 Method, system and program product for detecting and managing unwanted synchronization 审中-公开
标题翻译：用于检测和管理不需要的同步的方法，系统和程序产品
公开(公告)号：US20070169124A1
公开(公告)日：2007-07-19
申请号：US11272198
申请日：2005-11-10
申请人： Aaron Kershenbaum , Lawrence Koved , George Leeman , Darrell Reimer
发明人： Aaron Kershenbaum , Lawrence Koved , George Leeman , Darrell Reimer
IPC分类号： G06F9/46 , G06F9/45
CPC分类号： G06F8/445
摘要： A method, system and program product for minimizing unwanted synchronizations in a multithreading program. Program functions in a multithreading program that should not be synchronized are identified as input tails, e.g., manually identified. An invocation graph is constructed for the multithreading program with nodes identified as head nodes and tail nodes that correspond to the input tails. Synchronization information is collected for each node of the invocation graph. Sources of synchronization in the invocation graph are represented as source nodes. All paths from head nodes to tail nodes through at least one source node are identified.
摘要翻译：一种用于最小化多线程程序中不希望的同步的方法，系统和程序产品。不应同步的多线程程序中的程序功能被标识为输入尾，例如手动识别。为多线程程序构建一个调用图，其中标识为头节点的节点和对应于输入尾的尾节点。为调用图的每个节点收集同步信息。调用图中的同步源表示为源节点。识别通过至少一个源节点从头节点到尾节点的所有路径。

3. 发明申请

US20050071813A1 Program analysis tool presenting object containment and temporal flow information 失效
标题翻译：程序分析工具呈现物体遏制和时间流动信息
公开(公告)号：US20050071813A1
公开(公告)日：2005-03-31
申请号：US10674566
申请日：2003-09-30
申请人： Darrell Reimer , Kavitha Srinivas
发明人： Darrell Reimer , Kavitha Srinivas
IPC分类号： G06F9/44
CPC分类号： G06F11/3604
摘要： The present invention provides a method, apparatus, and computer instructions for program analysis. In an exemplary embodiment, a target program is loaded onto a data processing system including a program analysis software component. Hierarchies in the form of control flow and containment information about the target program are determined, using either static or dynamic, and direct (e.g., instrumented profilers) or indirect (e.g., monitored runtime), processing techniques, depending on the application and program analysis tool being used. The control flow and object containment information are then presented in a related and selected format for consideration by a user. One embodiment includes a program and GUI (graphical user interface) operably providing control flow-annotated object containment hierarchies to a user, the hierarchies including control flow, allocation and storage information added to object containment information.
摘要翻译：本发明提供了用于程序分析的方法，装置和计算机指令。在示例性实施例中，将目标程序加载到包括程序分析软件组件的数据处理系统上。根据应用和程序分析，使用静态或动态以及直接（例如，仪表化的分析器）或间接（例如，监视的运行时），处理技术来确定关于目标程序的控制流和包含信息形式的层次结构正在使用的工具。然后以相关和选择的格式呈现控制流和对象包含信息以供用户考虑。一个实施例包括程序和GUI（图形用户界面），其可操作地向用户提供控制流注释的对象容纳层次，所述层次包括添加到对象容纳信息的控制流，分配和存储信息。

4. 发明申请

US20050071820A1 Using a debugging framework to enforce best practices in program development 审中-公开
标题翻译：使用调试框架来实施程序开发中的最佳实践
公开(公告)号：US20050071820A1
公开(公告)日：2005-03-31
申请号：US10671012
申请日：2003-09-25
申请人： Kavitha Srinivas , Darrell Reimer
发明人： Kavitha Srinivas , Darrell Reimer
IPC分类号： G06F9/44
CPC分类号： G06F11/366 , G06F11/3644
摘要： Disclosed are a tool and method for monitoring the behavior of a running computer program. The tool observes the behavior of a running program within the context of a large number of defined coding patterns, and automatically flags violations of the coding patterns when they occur. These defined coding patterns can include best practice patterns and problematic coding patterns. The tool, in the preferred embodiment of the invention, does this using a standard debugger to enforce the best practices rules. This is advantageous because debuggers contain the type of information needed both to enforce the rules and to explain the violations of the rules. Moreover, because debuggers are standard tools in developers' arsenal, little or no additional training is required for the user of the tool to detect subtle software defects.
摘要翻译：公开了一种用于监视正在运行的计算机程序的行为的工具和方法。该工具在大量定义的编码模式的上下文中观察到正在运行的程序的行为，并且在发生编码模式时自动标记违反编码模式的行为。这些定义的编码模式可以包括最佳实践模式和有问题的编码模式。在本发明的优选实施例中，该工具使用标准调试器来执行最佳实践规则。这是有利的，因为调试器包含执行规则和解释违反规则所需的信息类型。此外，因为调试器是开发人员的武器库中的标准工具，所以很少或不需要额外的培训来使用该工具来检测微软的软件缺陷。

5. 发明申请

US20080271055A1 PROTOCOL FOR COMMUNICATION OF DATA STRUCTURES 有权
标题翻译：数据结构通信协议
公开(公告)号：US20080271055A1
公开(公告)日：2008-10-30
申请号：US12147602
申请日：2008-06-27
申请人： Stephen J. Fink , Alan A. Donovan , Darrell Reimer , Mark N. Wegman
发明人： Stephen J. Fink , Alan A. Donovan , Darrell Reimer , Mark N. Wegman
IPC分类号： G06F9/44
CPC分类号： G06F9/546 , G06F9/54 , G06F17/30684 , G06Q30/0601 , G06Q30/0641
摘要： A system and method are provided for communicating information in a data structure between applications. According to the method, a description of a data structure is sent from a first application to a second application, and there is received from the second application an identification of at least one portion of the data structure that is requested by the second application. The first application marshals a subset of the data structure consisting of the at least one portion that was identified, and there is sent from the first application to the second application the marshalled subset of the data structure.
摘要翻译：提供了用于在应用之间的数据结构中传送信息的系统和方法。根据该方法，将数据结构的描述从第一应用发送到第二应用，并且从第二应用接收到由第二应用请求的数据结构的至少一部分的标识。第一个应用程序将数据结构的一个子集组成由被识别的至少一个部分组成，并且从第一个应用程序向第二个应用程序发送数据结构的编组子集。

6. 发明授权

US09501334B2 Protocol for communication of data structures 有权
标题翻译：数据结构通信协议
公开(公告)号：US09501334B2
公开(公告)日：2016-11-22
申请号：US12147602
申请日：2008-06-27
申请人： Stephen J. Fink , Alan A. Donovan , Darrell Reimer , Mark N. Wegman
发明人： Stephen J. Fink , Alan A. Donovan , Darrell Reimer , Mark N. Wegman
IPC分类号： G06F9/54 , G06Q30/06
CPC分类号： G06F9/546 , G06F9/54 , G06F17/30684 , G06Q30/0601 , G06Q30/0641
摘要： A system and method are provided for communicating information in a data structure between applications. According to the method, a description of a data structure is sent from a first application to a second application, and there is received from the second application an identification of at least one portion of the data structure that is requested by the second application. The first application marshals a subset of the data structure consisting of the at least one portion that was identified, and there is sent from the first application to the second application the marshalled subset of the data structure.
摘要翻译：提供了用于在应用之间的数据结构中传送信息的系统和方法。根据该方法，将数据结构的描述从第一应用发送到第二应用，并且从第二应用接收到由第二应用请求的数据结构的至少一部分的标识。第一个应用程序将数据结构的一个子集组成由被识别的至少一个部分组成，并且从第一个应用程序向第二个应用程序发送数据结构的编组子集。

7. 发明申请

US20060106771A1 Dynamic optimization of communication of data structures 审中-公开
标题翻译：数据结构通信的动态优化
公开(公告)号：US20060106771A1
公开(公告)日：2006-05-18
申请号：US10988775
申请日：2004-11-15
申请人： Alan Donovan , Stephen Fink , Darrell Reimer
发明人： Alan Donovan , Stephen Fink , Darrell Reimer
IPC分类号： G06F17/30
CPC分类号： G06F16/9577
摘要： A method for communicating information in a data structure between applications includes receiving a request from a first application for sending information in a data structure to a second application. The method further includes reading information from a run-time environment of the first application and identifying, based on the information, portions of the data structure to send. The method further includes marshalling the portions of the data structure that were identified and sending the portions of the data structure that were marshalled to the second application.
摘要翻译：用于在应用之间传送数据结构中的信息的方法包括从第一应用接收用于将数据结构中的信息发送到第二应用的请求。该方法还包括从第一应用的运行时环境读取信息，并且基于该信息来识别要发送的数据结构的部分。该方法还包括编组所识别的数据结构的部分并将编组的数据结构的部分发送到第二应用。

8. 发明申请

US20050251804A1 Method, data processing system, and computer program product for detecting shared resource usage violations 审中-公开
标题翻译：方法，数据处理系统和用于检测共享资源使用违规的计算机程序产品
公开(公告)号：US20050251804A1
公开(公告)日：2005-11-10
申请号：US10838491
申请日：2004-05-04
申请人： Thomas Musta , Darrell Reimer , David Zavala
发明人： Thomas Musta , Darrell Reimer , David Zavala
IPC分类号： G06F9/46
CPC分类号： G06F9/542 , G06F2209/543
摘要： A method, computer program product, and a data processing system for identifying a shared resource usage violation in a data processing system is provided. A set of resources are assigned to a resource group. A usage policy is defined that is associated with the resource group. A usage state associated with a resource of the resource group is compared with a threshold defined by a policy associated with the resource group. A determination is made if usage of the resource is in violation of the policy.
摘要翻译：提供了一种用于在数据处理系统中识别共享资源使用违规的方法，计算机程序产品和数据处理系统。一组资源被分配给一个资源组。定义与资源组相关联的使用策略。将与资源组的资源相关联的使用状态与与资源组相关联的策略定义的阈值进行比较。确定资源的使用是否违反了策略。

9. 发明授权

US06732353B1 Method and system for generating enterprise applications of a diversity of information technologies 有权
标题翻译：用于生成多种信息技术的企业应用的方法和系统
公开(公告)号：US06732353B1
公开(公告)日：2004-05-04
申请号：US09460642
申请日：1999-12-15
申请人： Bard Bloom , Darrell Reimer , Ian D. Simmonds , Mark N. Wegman
发明人： Bard Bloom , Darrell Reimer , Ian D. Simmonds , Mark N. Wegman
IPC分类号： G06F944
CPC分类号： G06F8/71
摘要： An enterprise process model that comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. Data characterizing the view of the attributes of at least one of the objects of the model is generated by associating a plurality of situation/role pairs with the at least one object; and then, for each particular situation/role pair, defining a view definition for subsequent use. In another aspect of the present invention, an enterprise application for use in an information system that comprises diverse software services and hardware platforms is generated by providing a model of the enterprise process, wherein the model comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. A configuration defining software services and hardware platforms that support the model is generated. Finally, program fragments that support the model are generated.
摘要翻译：包括多个演员，由所述演员执行的动作，由所述动作行动的对象和角色的企业过程模型。通过将多个情境/角色对与至少一个对象相关联来生成表征模型的至少一个对象的属性的视图的数据; 然后，针对每个特定情况/角色对，定义用于后续使用的视图定义。在本发明的另一方面中，通过提供模型来生成用于包含多种软件服务和硬件平台的信息系统中的企业应用其中所述模型包括多个角色，由所述演员执行的动作，由所述动作所起作用的对象以及角色。生成支持该模型的定义软件服务和硬件平台的配置。最后，生成支持该模型的程序片段。

10. 发明申请

US20070179964A1 Protocol for communication of data structures 审中-公开
标题翻译：数据结构通信协议
公开(公告)号：US20070179964A1
公开(公告)日：2007-08-02
申请号：US11327634
申请日：2006-01-06
申请人： Stephen Fink , Alan Donovan , Darrell Reimer , Mark Wegman
发明人： Stephen Fink , Alan Donovan , Darrell Reimer , Mark Wegman
IPC分类号： G06F7/00 , G06F17/00
CPC分类号： G06F9/546 , G06F9/54 , G06F16/3344 , G06Q30/0601 , G06Q30/0641
摘要： A system and method are provided for communicating information in a data structure between applications. According to the method, a description of a data structure is sent from a first application to a second application, and there is received from the second application an identification of at least one portion of the data structure that is requested by the second application. The first application marshals a subset of the data structure consisting of the at least one portion that was identified, and there is sent from the first application to the second application the marshalled subset of the data structure.
摘要翻译：提供了用于在应用之间的数据结构中传送信息的系统和方法。根据该方法，将数据结构的描述从第一应用发送到第二应用，并且从第二应用接收到由第二应用请求的数据结构的至少一部分的标识。第一个应用程序将数据结构的一个子集组成由被识别的至少一个部分组成，并且从第一个应用程序向第二个应用程序发送数据结构的编组子集。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式