Managing memory to support large-scale interprocedural static analysis for security problems
US8429633B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 21, 2008 |
| Grant date | Apr 23, 2013 |
| Priority date | — |
| Expiry date | Feb 3, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/51
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.