Physical Sciences and Mathematics Commons^™

The Design & Implementation Of An Abstract Semantic Graph For Statement-Level Dynamic Analysis Of C++ Applications, Edward Duffy

All Dissertations

In this thesis, we describe our system, Hylian, for statement-level analysis,
both static and dynamic, of a C++ application. We begin by extending the
GNU gcc parser to generate parse trees in XML format for each of the
compilation units in a C++ application. We then provide verification that the
generated parse trees are structurally equivalent to the code in the
original C++
application. We use the generated parse trees, together with an augmented
version of the gcc test suite, to recover a grammar for the C++ dialect that
we parse. We use the recovered grammar to generate a schema …