pointer analysis
1