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

Haowei Wu via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 27 17:08:57 PDT 2017


haowei created this revision.
Herald added subscribers: xazax.hun, mgorny.

This patch supersedes https://reviews.llvm.org/D34724. We have finished the checker but it is too big to be submitted as a single commit. So we split it into several pieces to help with the review process. This patch includes the annotation attribute support in MagentaHandleChecker. It basically detect functions that have special annotation attributes and parse these annotations strings to function spec information which would used by the actual analysis. In this patch, the checker will not report any bugs. We will follow up with another commit that contains the code of actual analysis.


https://reviews.llvm.org/D35968

Files:
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/MagentaHandleChecker.cpp

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


More information about the cfe-commits mailing list