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

[Anna Zaks]

Alexey,

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.

What do you think?
Anna.


On Jun 7, 2013, at 5:05 AM, Alexey Sidorin <a.sidorin at samsung.com> wrote:

> 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
> 
> <StreamChecker.patch>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130607/f5190e53/attachment.html>