Patent ID: 9519566
Filing Date: 2016-12-13
CPC Classification: G06F

Claim Text:
1. A method for analyzing a program source code, the method comprising: receiving the program source code at a processor; generating, via the processor 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; detecting, via the processor 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; modifying, via the processor performing the static analysis of the program source code, the heap model, wherein the modifying the heap model is based on the detecting the linearizable data structure, and wherein the modifying the heap model comprises 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 analyzing the program source code via the processor performing the static analysis of the program source code using the modified heap model.