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<[email protected]>
To:[email protected]
Subject: [PATCH] CSA's StreamChecker - additional functionality and
fix
Message-ID:<[email protected]>
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
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
