Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap abstraction by Tian Tan A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY IN THE SCHOOL OF COMPUTER SCIENCE AND ENGINEERING THE UNIVERSITY OF NEW SOUTH WALES SYDNEY·AUSTRALIA Wednesday 19th April,2017 All rights reserved.This work may not be reproduced in whole or in part,by photocopy or other means,without the permission of the author. ©Tian Tan2017Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction by Tian Tan A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY IN THE SCHOOL OF Computer Science and Engineering Wednesday 19th April, 2017 All rights reserved. This work may not be reproduced in whole or in part, by photocopy or other means, without the permission of the author. c Tian Tan 2017