Patent ID: 8429633
Filing Date: 2013-04-23
Classification: G06F

Abstract:
1. A computer implemented method for application level management of virtual address space, the method comprising: analyzing, by a static analysis application executed by a processor, a source code listing to create a call graph model to represent an expected sequences of routine calls as a result of a control flow of the source code listing; analyzing, by the static analysis application, the source code listing while traversing the call graph model, and during traversal of the call graph model, generating dynamic state representing expected transformations of program variables as a result of one or more expressions in the source code listing and as a result of the control flow; monitoring, by the static analysis application, an amount of virtual memory resources consumed by the dynamic state; determining, by the static analysis application, whether a predetermined amount of the virtual memory resources is consumed by the dynamic state; if the predetermined amount of the virtual memory resources is consumed, swapping out to a storage medium a portion of the dynamic state by the static analysis application, wherein swapping includes separating the portion of the dynamic state into a constant data portion and a non-constant data portion; reusing at least a portion of the virtual memory resources corresponding to the swapped out portion of the dynamic state to continue analyzing the source code listing; and generating a report that identifies vulnerabilities in the source code listing.