S M via llvm-dev
2020-Oct-21 15:08 UTC
[llvm-dev] 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20201021/1e71a16c/attachment-0001.html>