Maybe too late to answer, but roslyn library does support interprocedural analysis. It is implemented in the base class of DataFlowOperationVisitor and many built-in analysis like value content analysis consume these utilities. You need to configure what kind of analysis do you need context-sensitive/insensitive and then invoke the TryGetResult method of ValueContentAnalysis to see the results.