<div dir="ltr">Hi all,<div><br></div><div>As far as I know, Clang static analyzer suported interprocedural analysis in one translation unit very well but not very good for the whole program interprocedural analysis. </div><div><br></div><div>I got some primilary information about cross translation unit analysis online like this one: <a href="http://lists.llvm.org/pipermail/cfe-dev/2017-March/053366.html">http://lists.llvm.org/pipermail/cfe-dev/2017-March/053366.html</a>. But it seems like it's still an exprimental work, and no more meterials are available. </div><div><br></div><div>My work cares about interprocedural analysis a lot. I am kind of struggling on choosing tools to write checkers between clang analyzer and llvm pass. LLVM pass supports interprocedural analysis very well but they don't have a lot of checkers available like clang analyzer. I wonder will cross translation unit analysis in clang analyzer be supported very solidly in the furture? Is it a promising project that you might be interested putting effort on? </div><div><br></div><div>I know it might be very expensive to support both path-sensitive and interprocedural analysis, especially for large systems. They may run out of memory. So I am curious if anyone is working on cross translation unit. </div><div><br></div><div>Thank you.</div><div><br clear="all"><div><div class="gmail_signature"><div dir="ltr"><div style="font-size:small"><span style="font-size:12.8px">Best,</span></div><div style="font-size:small" dir="ltr"><span style="font-size:12.8px">Ying</span></div><div style="font-size:small" dir="ltr"><span style="font-size:12.8px"></span></div></div></div></div>
</div></div>