Acknowledgements First,I would like to thank my supervisor,Professor Jingling Xue,for supporting me with freedom and guidance throughout my Ph.D.studies.His serious attitude, diligence and enthusiasm to the research influence me and will continue to benefit me in my future career. My special thanks go to Yue Li,a great research partner and the best friend of mine.I worked with Yue during the whole period of my Ph.D.studies.He is like my elder brother and gives me great help in both research and life.I am very very very lucky to have him as my collaborator and friend. I also thank my labmates and colleagues from the CORG at UNSW,Peng Di, Yulei Sui,Sen Ye,Yu Su,Ding Ye,Hao Zhou,Xiaokang Fan,Hua Yan,Feng Zhang, Yifei Zhang,Jieyuan Zhang,Jie Liu,Diyu Wu and Jingbo Lu.It was a pleasant experience to get along with them during these unforgettable days. I thank the Doop team for making Doop (such a good points-to analysis framework for Java)public available.Doop is well-designed so that I can easily integrate both my thesis work BEAN and MAHJONG into it to perform evaluation. Many thanks go to the two international examiners of my thesis,Prof.Yannis Smaragdakis at University of Athens and Prof.Ondrej Lhotak at University of Waterloo,for their valuable time and comments. Last,but not least,I would like to express my gratefulness to my family.I ivAcknowledgements First, I would like to thank my supervisor, Professor Jingling Xue, for supporting me with freedom and guidance throughout my Ph.D. studies. His serious attitude, diligence and enthusiasm to the research influence me and will continue to benefit me in my future career. My special thanks go to Yue Li, a great research partner and the best friend of mine. I worked with Yue during the whole period of my Ph.D. studies. He is like my elder brother and gives me great help in both research and life. I am very very very lucky to have him as my collaborator and friend. I also thank my labmates and colleagues from the CORG at UNSW, Peng Di, Yulei Sui, Sen Ye, Yu Su, Ding Ye, Hao Zhou, Xiaokang Fan, Hua Yan, Feng Zhang, Yifei Zhang, Jieyuan Zhang, Jie Liu, Diyu Wu and Jingbo Lu. It was a pleasant experience to get along with them during these unforgettable days. I thank the Doop team for making Doop (such a good points-to analysis framework for Java) public available. Doop is well-designed so that I can easily integrate both my thesis work Bean and Mahjong into it to perform evaluation. Many thanks go to the two international examiners of my thesis, Prof. Yannis Smaragdakis at University of Athens and Prof. Ondˇrej Lhot´ak at University of Waterloo, for their valuable time and comments. Last, but not least, I would like to express my gratefulness to my family. I iv