[PATCH] D36022: [analyzer] Add handle misuse analysis to MagentaHandleChecker

[Haowei Wu via Phabricator via cfe-commits]

haowei created this revision.
Herald added a subscriber: xazax.hun.

This commits add actual code for analyzing magenta handle misuse issues to MagentaHandleChecker, which is introduced in https://reviews.llvm.org/D35968. It supports magenta syscalls that acquires/release/use handle through pointers or values but not through arrays. The support for arrays will be added in a follow up commit.


https://reviews.llvm.org/D36022

Files:
  lib/StaticAnalyzer/Checkers/MagentaHandleChecker.cpp
  test/Analysis/mxhandle.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D36022.108717.patch
Type: text/x-patch
Size: 24897 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170728/b610bb4b/attachment-0001.bin>