update in pointer analysis to incorporate changes from latest SMACK
update in pointer analysis to incorporate changes from latest SMACK

pdeligia/lockpwn,smackers/lockpwn,smackers/lockpwn,smackers/lockpwn,pdeligia/lockpwn