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

[Aleksei Sidorin]

Hello Jordan,

Thank you for your reply about interceptor.
What about StreamChecker patch (http://reviews.llvm.org/D3609)? Should I 
add someone to reviewers?

29.04.2014 08:35, 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/20140514/2a509e66/attachment.html>