[PATCH] CSA's StreamChecker - additional functionality and fix

[Aleksei Sidorin]

Hello,

This is an another version of patch for StreamChecker.
Improvements:
1. open/close Unix API support
2. BugVisitor with open/close messages (based on MallocChecker's one)
And a question: is it OK to use StringSwitch for function names in 
evalCall or it is too slow?

Message: 1
Date: Fri, 07 Jun 2013 16:05:19 +0400
From: Alexey Sidorin<a.sidorin at samsung.com>
To:cfe-commits at cs.uiuc.edu
Subject: [PATCH] CSA's StreamChecker - additional functionality and
	fix
Message-ID:<51B1CC7F.4020202 at samsung.com>
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?




-- 
Best regards,
Aleksei Sidorin
Software Engineer,
IMSWL-IMCG, SRR, Samsung Electronics

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140429/1cdc9f0c/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: StreamCheckerv2.patch
Type: text/x-patch
Size: 53845 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140429/1cdc9f0c/attachment.bin>