<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>