<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hmm, i'm not aware of any of these. All of our libAnalysis analyses
are intra-procedural, as far as i'm aware of.<br>
<br>
Technically, it's as easy as any other cross-function analysis - you
have access to all CFGs within the current translation unit, so you
have all the information you'll ever need and you can be as stateful
as you want when it comes to analyzing CFGs within the same
translation unit, and it becomes more annoying across translation
units. Theoretically, however, a good and generic-enough
interprocedural data flow analysis technique is pretty hard to come
up with.<br>
<br>
We should eventually come up with such analyses when we start to
tackle the idea of summary-based analysis for the Static Analyzer:
function summaries should rather be CFG/data-flow/must-problem-based
than symbolic-execution-based in order to get around the variety of
issues collectively known under the name of "the inlined defensive
checks problem".<br>
<br>
<div class="moz-cite-prefix">On 2/3/19 5:38 PM, Alexander Zaitsev
via cfe-dev wrote:<br>
</div>
<blockquote type="cite"
cite="mid:fe0e849d-8d0e-cba6-99a7-9841bfb01d71@tut.by">
<pre class="moz-quote-pre" wrap="">Hello.
Does Clang Static Analyzer/Clang Tidy support cross function and cross
translation unit CFG analysis?
Cross TU means I have a function `foo` in one TU; `foo` calls `bar'
which is defined in another TU.
Cross function means I have a function `foo` which calls `bar` function.
And I want to analyze 'bar' CFG with some information from 'foo' CFG.
Thank you.
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-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="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>