Adding ptrfromint analysis.