haowei abandoned this revision.
haowei added a comment.
Superseded by https://reviews.llvm.org/D35968
https://reviews.llvm.org/D34724
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
haowei updated this revision to Diff 107201.
haowei added a comment.
Thanks for reviewing this patch. I have modified the checker according NoQ's
suggestions and refactored some long functions.
> We're trying to use this CallDescription thing for this purpose recently.
I took a look at CallDesc
NoQ added a comment.
Thanks for publishing this. It seems that your code is already huge, and you
have already added a lot of workarounds for various problems (known and new) in
our APIs, while it'd sound great to actually solve these problems and simplify
the API to make writing checkers easie
haowei created this revision.
Herald added subscribers: xazax.hun, mgorny.
This patch adds a new Static Analyzer checker for the correct use of handle in
Magenta kernel. The concept of handle is very similar to file descriptor in
Unix. This checker checks leaks, use after release and double re
