7. Alias Analysis
Because it is possible for V to have aliases, the analysis would be unsafe if it did not account for references of aliases of V. Therefore alias analysis of references was performed. Because of the nature alias analysis and branches, it must be noted that any possible alias of V is considered, making the overall analysis conservative.
Example 7.1
use of alias of V 
{
	int x, z, V, *p;
	p = &V;
	x = V;
	z = (*p); //use
}
Example 7.2
definition of alias of V 
{
	int x, V, *p;
	p = &V;
	x = V;
	(*p) = 5; //definition
}
Example 7.3
alias on some path 
{
	int x, V *p;

	if (b)
	{
		p = &V;
	}
	x = V;
	z = (*p); //possible use
}