Abstract
A computer-implemented probabilistic pointer analysis method using SSA form includes the steps: 1. Evaluating a program in an SSA form comprising a target pointer to determine pointer relations between the target pointer. 2. A plurality of aliased pointers related to the target pointer and at least a probable location of the target pointer. 3. Generating a direct probabilistic relation between the target pointer and the at least a probable location of the target pointer according to the pointer relation.