Hi ambika, > main() { > int i,*k; > k = &i; > then why dont i get {k -> i} ie k is aliased to i in any of the analysis. only pointers can alias each other, and i is not a pointer. Ciao, Duncan.