<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Hi Yingtong,<br>
<br>
The work on integration of CTU into Clang Static Analyzer upstream
is still ongoing. There were some experimental prototypes and now,
as I know, Ericsson CodeChecker contains the most production-close
version of CTU.<br>
You should note that it is still experimental and has a number of
known bugs and non-implemented functionality; however, we're
working on fixing them.<br>
<br>
(+ Gabor).<br>
<br>
<br>
15.02.2018 03:31, Yingtong Liu via cfe-dev пишет:<br>
</div>
<blockquote type="cite"
cite="mid:CADPxJi9M0MjJuq2FbQha1_05VwF_Bj+_EFKYAifkW_U3tFZP2Q@mail.gmail.com">
<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"
moz-do-not-send="true">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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
cfe-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a>
</pre>
</blockquote>
<p><br>
</p>
<pre class="moz-signature" cols="72">--
Best regards,
Aleksei Sidorin,
SRR, Samsung Electronics
</pre>
</body>
</html>