<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Jun 9, 2013, at 11:05 PM, Alexey Sidorin <<a href="mailto:a.sidorin@samsung.com">a.sidorin@samsung.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">
<meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type">
<div bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Anna,<br>
<br>
Sorry, I didn't know about further replacement of this checker.<br>
What should I do? Should I rewrite this code for
SimpleStreamChecker or it should be done by somebody other?<br>
<br></div></div></blockquote><div><br></div><div>Alexey,</div><div><br></div>Looks like Adam Schnitzer had started rewriting the checker. See "<span style="font-size: 12px; ">[Analyzer] [PATCH] Adding file name to SimpleStreamChecker". I'll review the patch this or next week.</span></div><div><br></div><div>Adam, sorry for not reviewing your patch sooner. Are you still interested in working on rewriting the Stream Checker?</div><div><br></div><div>Thanks,</div><div>Anna.<br><blockquote type="cite"><div bgcolor="#FFFFFF" text="#000000"><div class="moz-cite-prefix">
<br>
08.06.2013 00:21, Anna Zaks пишет:<br>
</div>
<blockquote cite="mid:176BAC80-142D-471A-8DAB-27BBFCB76103@apple.com" type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=ISO-8859-1">
Alexey,
<div><br>
</div>
<div>
<div>There are several subtle issues with the existing alpha
StreamChecker. It's easier and cleaner to just add the
supported APIs from the old checker to the new StreamChecker
that would be based on the SimpleStreamChecker. Basically,
we'd like to remove the old StreamChecker and write a new
StreamChecker based on SimpleStreamChecker. Your improvements
could be added on top of that.</div>
<div><br>
</div>
<div>What do you think?</div>
<div>Anna.</div>
<div><br>
</div>
<div><br>
</div>
<div>
<div>On Jun 7, 2013, at 5:05 AM, Alexey Sidorin <<a moz-do-not-send="true" href="mailto:a.sidorin@samsung.com">a.sidorin@samsung.com</a>>
wrote:</div>
<br class="Apple-interchange-newline">
<blockquote type="cite">
<div style="letter-spacing: normal; orphans: auto;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-stroke-width: 0px;">Hi,<br>
<br>
I wrote a patch for Clang Static Analyzer's StreamChecker.
This patch:<br>
1. adds a check for descriptor access (read/write) after
it being closed<br>
2. adds support of directory operations (opendir/closedir
and some other)<br>
3. fixes issue in double close check: descriptor that was
not tracked before was not marked as closed while calling
a close function<br>
4. adds fprintf and fscanf functions to track.<br>
<br>
Is it OK to commit or have I done something wrong?<br>
<br>
--<span class="Apple-converted-space"> </span><br>
Best regards,<br>
Alexey Sidorin,<br>
Programming Tools Part, CSG, SMRC, Samsung Electronics<br>
<br>
<span><StreamChecker.patch></span>_______________________________________________<br>
cfe-commits mailing list<br>
<a moz-do-not-send="true" href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
<a moz-do-not-send="true" href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a></div>
</blockquote>
</div>
<br>
</div>
</blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
Best regards,
Alexey Sidorin,
Programming Tools Part, CSG, SMRC, Samsung Electronics</pre>
</div>
</blockquote></div><br></body></html>