Is it possible to generate a call graph, do inter/intra procedural analysis with Roslyn?I am trying to do taint analysis, i.e. I should be able to trace a variable after it has been passed through functions or assigned to other variables.
Any help will be appreciated! Thanks!