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