[PATCH] D34724: [analyzer] Add MagentaHandleChecker for the Magenta kernel

Haowei Wu via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 27 16:25:55 PDT 2017

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 release issues in Magenta source code. We have tested this checker internally and it has detects several issues in our code. We are still improving and adding new features to this checker so any comments or suggestions are appreciated.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34724.104296.patch
Type: text/x-patch
Size: 41489 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170627/3e1aaab3/attachment-0001.bin>

More information about the cfe-commits mailing list