<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
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 class="moz-txt-link-rfc2396E" href="mailto:a.sidorin@samsung.com"><a.sidorin@samsung.com></a></cite><cite>
To: </cite><cite><a 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 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>
</body>
</html>