C++对象模型创建.pdf

Object Model Construction for Inheritance in C++ and its Applications to Program Analysis ˇ ´ Jing Yang , Gogul Balakrishnan , Naoto Maeda , Franjo Ivancic , Aarti Gupta , Nishant Sinha , Sriram Sankaranarayanan , and Naveen Sharma NEC Labs America University of Virginia NEC Corporation, Japan IBM Research, India University of Colorado, Boulder NEC-HCL Tech., India Abstract. Modern object-oriented programming languages such as C++ provide convenient abstractions and data encapsulation mechanisms for software devel- opers. However, these features also complicate testing and static analysis of pro- grams that utilize object-oriented programming concepts. In particular, the C++ language exhibits features such as multiple inheritance, static and dynamic type- casting that make static analyzers for C++ quite hard to implement. In this paper, we present an approach where static analysis is performed by lowering the origi- nal C++ program into a semantically equivalent C program. However, unlike ex- isting translation mechanisms that utilize complex pointer arithmetic operations, virtual-base offsets, virtual-function pointer tables, and calls to run-time libraries to model C++ features, our translation is targeted towards making static program analyzers for C++ easier to write and provide more precise results. We have im- plemented our ideas in a framework for C++ called CILpp that is analogous to the popular C Intermediate Language (CIL) framework. We evaluate the effec- tiveness of our translation in a bug finding tool that uses abstract interpretation and m