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

[Alexey Sidorin]

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,
Alexey Sidorin,
Programming Tools Part, CSG, SMRC, Samsung Electronics

-------------- next part --------------
A non-text attachment was scrubbed...
Name: StreamChecker.patch
Type: text/x-patch
Size: 15445 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130607/6df8e951/attachment.bin>