<div dir="ltr"><div dir="ltr">Hi all,<div><br></div><div>I am implementing the VASCO framework available at <a href="https://github.com/rohanpadhye/vasco">https://github.com/rohanpadhye/vasco</a> 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.</div><div><br></div><div>Could you please tell me if LLVM currently supports interprocedural context-sensitive analysis? (And if yes, to what extent?)</div><div><br></div><div>Thanks.</div><div>Sambhrant Maurya</div><div>A curious learner @ CSE, IIT Kanpur</div><div>India</div></div></div>