为checker添加命令行选项 CheckerOptions

DoerLeeC

已于 2022-10-13 15:25:21 修改

阅读量163

点赞数

分类专栏： clang开发文章标签： c++

于 2022-10-13 15:22:53 首次发布

本文链接：https://blog.csdn.net/qq_37785159/article/details/127302092

版权

clang开发专栏收录该内容

1 篇文章 0 订阅

订阅专栏

为checker添加命令行选项 CheckerOptions

涉及的文件

clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
clang/lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp

Checkers.td部分修改

def DeadStoresChecker : Checker<"DeadStores">,
   HelpText<"Check for values stored to variables that are never read "
            "afterwards">,
+  CheckerOptions<[
+    CmdLineOption<Boolean,
+                  "WarnForDeadNestedAssignments",
+                  "Warns for deadstores in nested assignments."
+                  "E.g.: if ((P = f())) where P is unused."
+                  "Enabling this may result in some false positive finds.",
+                  "false",
+                  Released>
+  ]>,
   Documentation<HasDocumentation>;

DeadStoresChecker.cpp部分修改

-void ento::registerDeadStoresChecker(CheckerManager &mgr) {
-  mgr.registerChecker<DeadStoresChecker>();
+void ento::registerDeadStoresChecker(CheckerManager &Mgr) {
+  auto Chk = Mgr.registerChecker<DeadStoresChecker>();
+
+  const AnalyzerOptions &AnOpts = Mgr.getAnalyzerOptions();
+  Chk->WarnForDeadNestedAssignments =
+      AnOpts.getCheckerBooleanOption(Chk, "WarnForDeadNestedAssignments");
 }

命令行使用

+This checker has several options which can be set from command line (e.g.
+``-analyzer-config deadcode.DeadStores:WarnForDeadNestedAssignments=true``)