One use case I see is to analyze codebases not just by reading the code, but by tracing the call graph and values that flow between function calls. Basically what I'd do if I wanted to know what a function does - put a break point and study the data.