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