<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body 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>
<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>
</body>
</html>