[llvm-dev] Interprocedural context-sensitive analysis in LLVM

[S M via llvm-dev]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20201021/1e71a16c/attachment-0001.html>