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

[Haowei Wu via Phabricator via cfe-commits]

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.


https://reviews.llvm.org/D34724

Files:
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/MagentaHandleChecker.cpp
  test/Analysis/mxhandle.c

-------------- 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>