<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Hello Jordan,<br>
<br>
Thank you for your reply about interceptor.<br>
What about StreamChecker patch (<a class="moz-txt-link-freetext" href="http://reviews.llvm.org/D3609">http://reviews.llvm.org/D3609</a>)?
Should I add someone to reviewers?<br>
<br>
29.04.2014 08:35, Aleksei Sidorin пишет:<br>
</div>
<blockquote cite="mid:535F2C2C.2040601@samsung.com" type="cite">
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
Hello,<br>
<br>
This is an another version of patch for StreamChecker.<br>
Improvements:<br>
1. open/close Unix API support<br>
2. BugVisitor with open/close messages (based on MallocChecker's
one)<br>
And a question: is it OK to use StringSwitch for function names in
evalCall or it is too slow?<br>
<br>
<pre wrap=""><cite>Message: 1
Date: Fri, 07 Jun 2013 16:05:19 +0400
From: Alexey Sidorin </cite><cite><a moz-do-not-send="true" class="moz-txt-link-rfc2396E" href="mailto:a.sidorin@samsung.com"><a.sidorin@samsung.com></a></cite><cite>
To: </cite><cite><a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a></cite><cite>
Subject: [PATCH] CSA's StreamChecker - additional functionality and
fix
Message-ID: </cite><cite><a moz-do-not-send="true" class="moz-txt-link-rfc2396E" href="mailto:51B1CC7F.4020202@samsung.com"><51B1CC7F.4020202@samsung.com></a></cite><cite>
Content-Type: text/plain; charset="utf-8"; Format="flowed"
Hi,
I wrote a patch for Clang Static Analyzer's StreamChecker. This patch:
1. adds a check for descriptor access (read/write) after it being closed
2. adds support of directory operations (opendir/closedir and some other)
3. fixes issue in double close check: descriptor that was not tracked
before was not marked as closed while calling a close function
4. adds fprintf and fscanf functions to track.
Is it OK to commit or have I done something wrong?</cite></pre>
<br>
<br>
<br>
<pre class="moz-signature" cols="72">--
Best regards,
Aleksei Sidorin
Software Engineer,
IMSWL-IMCG, SRR, Samsung Electronics
</pre>
</blockquote>
</body>
</html>