with pointer and indirect addressing analysis