Interprocedural context-sensitive analysis in LLVM

Hi all,

I am implementing the VASCO framework available at https://github.com/rohanpadhye/vasco in LLVM. It is an interprocedural analysis framework for SOOT using data flow values for context-sensitivity that isn’t restricted to non-distributive flow functions.

Could you please tell me if LLVM currently supports interprocedural context-sensitive analysis? (And if yes, to what extent?)

Thanks.
Sambhrant Maurya
A curious learner @ CSE, IIT Kanpur
India