[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...
Size: 41489 bytes
Desc: not available
More information about the cfe-commits