Instrumentation helper code is now C++ to make use of libraries, InstrTrace is modified to deal with new function names from instrumentation helpers, and Analyzer stores only information known at compile time.