[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