Modeling memory use of applications

摘要

A method includes receiving a program code at a processor. The method also includes generating, via the processor, a heap model corresponding to the program code. The method further includes detecting, via the processor, a linearizable data structure in the program code. The method also further includes modifying, via the processor, the heap model based on the detected linearizable data structure. The method also further includes analyzing, via the processor, the program code using the modified heap model.

主权项

1. A system comprising:
a memory having executable instructions stored thereon; and a processor coupled to the memory and configured to execute the instructions to: receive a program source code; generate, by performing a static analysis of the program source code, a heap model corresponding to the program source code, wherein the heap model comprises object allocation sites; detect, by performing the static analysis of the program source code, a linearizable data structure in the program source code, wherein at least one of the object allocation sites is associated with the linearizable data structure; modify, by performing the static analysis of the program source code, the heap model based on the detecting the linearizable data structure, wherein the processor is further configured to execute the instructions to modify the heap model by removing, from the heap model, an object allocation site included in the at least one of the object allocation sites associated with the linearizable data structure; and analyze the program source code by performing the static analysis of the program source code using the modified heap model.