<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Yeah, plist format is slightly different. Instead of grey notes that
describe control flow as text, it describes control flow as "arrows"
from one point in the source code to another. Eg., instead of
writing "Taking true branch..." it'd list two (file, line, column)
triples: one at the end of the branch condition, the other at the
beginning of the true branch, and you can imagine this as an arrow
from the first source location to the second source location. You
can see how it's supposed to look on the top screenshot at
<a class="moz-txt-link-freetext" href="http://clang-analyzer.llvm.org/">http://clang-analyzer.llvm.org/</a><br>
<br>
Hmm, there doesn't seem to be a way to override this decision right
now. You can try tweaking PlistDiagnostics::getGenerationScheme(),
i.e. change Extensive to Minimal, but i can't promise it won't crash
when it tries to generate anything.<br>
<br>
<br>
<br>
<div class="moz-cite-prefix">On 1/16/19 12:45 PM, Trevor Huang via
cfe-dev wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAD+ZJEvz+Anf10BiA4FHv8YbrpjKMHX99vmRqyJEFyCrmuf9tg@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">Hello all,
<div><br>
</div>
<div>I am Trevor Huang, a student at University of Pennsylvania
and one of my classmates, Gianluca Gross, recently asked some
questions about Clang Static Analyzer for our senior design
project. He forwarded us some responses from Alexey Sidorin
and Gabor Horvath, so thank you so much for the assistance! </div>
<div><br>
</div>
<div>One recommendation given to help us in our project is to
use the plist output from scan-build instead of the html
output for our parsing. I was looking through the contents of
the plist and found that statements such "Taking true branch,"
and other statements in the bug trace that are in gray
(instead of yellow) in the html report does not appear to be
present in the plist format. I was wondering where those
statements come from and if there is an easy way for me to
include them if I only read the plist output.</div>
<div><br>
</div>
<div>Any and all help would be greatly appreciated. Thank you
again!</div>
<div><br>
</div>
<div>Sincerely,</div>
<div>Trevor</div>
</div>
<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="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>