Return to search

Simplifying the Analysis of C++ Programs

Based on our experience of working with different C++ front ends, this thesis identifies numerous problems that complicate the analysis of C++ programs along the entire spectrum of analysis applications. We utilize library, language, and tool extensions to address these problems and offer solutions to many of them. In particular, we present efficient, expressive and non-intrusive means of dealing with abstract syntax trees of a program, which together render the visitor design pattern obsolete. We further extend C++ with open multi-methods to deal with the broader expression problem. Finally, we offer two techniques, one based on refining the type system of a language and the other on abstract interpretation, both of which allow developers to statically ensure or verify various run-time properties of their programs without having to deal with the full language semantics or even the abstract syntax tree of a program. Together, the solutions presented in this thesis make ensuring properties of interest about C++ programs available to average language users.

Identiferoai:union.ndltd.org:tamu.edu/oai:repository.tamu.edu:1969.1/151376
Date16 December 2013
CreatorsSolodkyy, Yuriy
ContributorsStroustrup, Bjarne, Jarvi, Jaakko, Rauchwerger, Lawrence, Butenko, Sergiy
Source SetsTexas A and M University
LanguageEnglish
Detected LanguageEnglish
TypeThesis, text
Formatapplication/pdf

Page generated in 0.0018 seconds