Patent ID: 8745599
Filing Date: 2014-06-03
Classification: G06F

Abstract:
1. A probabilistic pointer analysis method using static single assignment (SSA) form, comprising the steps, performed by a computer, of: evaluating a program in an SSA form comprising a target pointer to determine pointer relations between the target pointer, a plurality of aliased pointers related to the target pointer, at least a probable location of the target pointer, and a Φ function, wherein a portion of the target pointer and the aliased pointers are related through the Φ function, which has a form of Vk=Φ(Vm, Vn, . . . Vi), wherein Vk denotes the new version of V, and operands of the Φ function denote old versions that are live until a confluence point; and generating a direct probabilistic relation between the target pointer and the at least a probable location of the target pointer according to the pointer relations.