Invention Grant
- Patent Title: Managing memory to support large-scale interprocedural static analysis for security problems
- Patent Title (中): 管理内存以支持安全问题的大规模过程静态分析
-
Application No.: US12275838Application Date: 2008-11-21
-
Publication No.: US08429633B2Publication Date: 2013-04-23
- Inventor: Richard Title , Benjamin Greenwald , John Peyton
- Applicant: Richard Title , Benjamin Greenwald , John Peyton
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Holland & Knight LLP
- Agent Brian J. Colandreo, Esq.; Michael T. Abramson, Esq.
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F9/45

Abstract:
Embodiments of the invention describe systems and methods for application level management of virtual address space. A static analysis application can model and analyze a large and complex source code listing to determine whether it has vulnerabilities without exhausting the virtual memory resources provided to it by the operating system. In one embodiment of the invention, the method includes analyzing the source code listing to create a call graph model to represent the expected sequences of routine calls as a result of the inherent control flow of the source code listing. The method also includes monitoring the amount of virtual memory resources consumed by the dynamic state, and swapping out to a storage medium a portion of the dynamic state. The method includes reusing the virtual memory resources corresponding to the swapped out portion of the dynamic state to continue analyzing the source code listing.
Public/Granted literature
- US20100131721A1 MANAGING MEMORY TO SUPPORT LARGE-SCALE INTERPROCEDURAL STATIC ANALYSIS FOR SECURITY PROBLEMS Public/Granted day:2010-05-27
Information query