I once wrote a parser that did this for a large and undocumented Object Pascal project. The problem is OO code enables run time binding to objects and functions, so your compile time decoder often returns ambiguous results. However, I found simply including possible code paths was still useful because they tend to be related functionality to what you are debugging.