Title Analysis of objectoriented programs a survey.pdfVIP

Analysis of object-oriented programs: a survey Note no DART/11/05 Author Bjarte M. Østvold and Thor Kristoffersen Date August 19, 2005 The author Use \aboutauthors to enter author information. Norwegian Computing Center Norsk Regnesentral (Norwegian Computing Center, NR) is a private, independent, non-profit foundation established in 1952. NR carries out contract research and development projects in the areas of information and communication technology and applied statistical modeling. The clients are a broad range of industrial, commercial and public service organizations in the national as well as the international market. Our scientific and technical capabilities are further developed in co-operation with The Research Council of Norway and key customers. The results of our projects may take the form of reports, software, prototypes, and short courses. A proof of the confidence and appreciation our clients have for us is given by the fact that most of our new contracts are signed with previous customers. Title Analysis of object-oriented programs: a survey Author Bjarte M. Østvold bjarte@nr.no and Thor Kristoffersen thor@nr.no Date August 19, 2005 Year 2005 Publication number DART/11/05 Abstract We survey code analysis research, applications and infrastructure, focusing on object-oriented languages. In particular we cover static and dynamic program analysis, including non-conservative analysis, and also consider language extensions facilitating program analysis, and libraries and tools for doing analysis. The discussion outlines challenges and opportunities for program analy- sis when applied to object-oriented applications development. Keywords