Anna,
Sorry, I didn't know about further replacement of this checker.
What should I do? Should I rewrite this code for SimpleStreamChecker or
it should be done by somebody other?
08.06.2013 00:21, 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 <[email protected]
<mailto:[email protected]>> 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
[email protected] <mailto:[email protected]>
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
--
Best regards,
Alexey Sidorin,
Programming Tools Part, CSG, SMRC, Samsung Electronics
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
