[𝘀𝗽𝗿] initial version

Created using spr 1.3.7

Author: fmayer

clang-tools-extra/clang-tidy/abseil/AbseilTidyModule.cpp

@@ -27,6 +27,7 @@
 #include "StringFindStrContainsCheck.h"
 #include "TimeComparisonCheck.h"
 #include "TimeSubtractionCheck.h"
+#include "UncheckedStatusOrAccessCheck.h"
 #include "UpgradeDurationConversionsCheck.h"
 
 namespace clang::tidy {
@@ -69,6 +70,8 @@ class AbseilModule : public ClangTidyModule {
         "abseil-time-subtraction");
     CheckFactories.registerCheck<UpgradeDurationConversionsCheck>(
         "abseil-upgrade-duration-conversions");
+        CheckFactories.registerCheck<UncheckedStatusOrAccessCheck>(
+        "abseil-unchecked-statusor-access");
   }
 };
 

clang-tools-extra/clang-tidy/abseil/CMakeLists.txt

@@ -25,6 +25,7 @@ add_clang_library(clangTidyAbseilModule STATIC
   TimeComparisonCheck.cpp
   TimeSubtractionCheck.cpp
   UpgradeDurationConversionsCheck.cpp
+  UncheckedStatusOrAccessCheck.cpp
 
   LINK_LIBS
   clangTidy

clang-tools-extra/clang-tidy/abseil/UncheckedStatusOrAccessCheck.cpp

@@ -0,0 +1,63 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "UncheckedStatusOrAccessCheck.h"
+#include "clang/AST/ASTContext.h"
+#include "clang/ASTMatchers/ASTMatchFinder.h"
+#include "clang/ASTMatchers/ASTMatchers.h"
+#include "clang/Analysis/FlowSensitive/DataflowAnalysis.h"
+#include "clang/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.h"
+#include "clang/Basic/SourceLocation.h"
+#include "llvm/ADT/SmallVector.h"
+#include "llvm/Support/Error.h"
+
+namespace clang::tidy::abseil {
+using ast_matchers::MatchFinder;
+using dataflow::statusor_model::UncheckedStatusOrAccessModel;
+using dataflow::statusor_model::UncheckedStatusOrAccessDiagnoser;
+
+static constexpr llvm::StringLiteral FuncID("fun");
+
+void UncheckedStatusOrAccessCheck::registerMatchers(MatchFinder *Finder) {
+  using namespace ast_matchers;
+  if (!getLangOpts().CPlusPlus) return;
+
+  auto has_statusor_call_descendant =
+      hasDescendant(callExpr(callee(cxxMethodDecl(ofClass(hasAnyName(
+          "absl::StatusOr", "absl::internal_statusor::OperatorBase"))))));
+  Finder->addMatcher(functionDecl(unless(isExpansionInSystemHeader()),
+                                  hasBody(has_statusor_call_descendant))
+                         .bind(FuncID),
+                     this);
+  Finder->addMatcher(
+      cxxConstructorDecl(hasAnyConstructorInitializer(
+                             withInitializer(has_statusor_call_descendant)))
+          .bind(FuncID),
+      this);
+}
+void UncheckedStatusOrAccessCheck::check(
+    const MatchFinder::MatchResult &Result) {
+  if (Result.SourceManager->getDiagnostics().hasUncompilableErrorOccurred())
+    return;
+
+  const auto *FuncDecl = Result.Nodes.getNodeAs<FunctionDecl>(FuncID);
+  if (FuncDecl->isTemplated())
+    return;
+
+  UncheckedStatusOrAccessDiagnoser Diagnoser;
+  if (llvm::Expected<llvm::SmallVector<SourceLocation>> Locs =
+          dataflow::diagnoseFunction<
+              UncheckedStatusOrAccessModel,
+              SourceLocation>(*FuncDecl, *Result.Context, Diagnoser))
+    for (const SourceLocation& Loc : *Locs)
+      diag(Loc, "unchecked access to 'absl::StatusOr' value");
+  else
+    llvm::consumeError(Locs.takeError());
+}
+
+} // namespace clang::tidy::abseil

clang-tools-extra/clang-tidy/abseil/UncheckedStatusOrAccessCheck.h

@@ -0,0 +1,25 @@
+#ifndef DEVTOOLS_CYMBAL_CLANG_TIDY_RUNTIME_UPSTREAM_FRAMEWORK_UNCHECKED_STATUSOR_ACCESS_H_
+#define DEVTOOLS_CYMBAL_CLANG_TIDY_RUNTIME_UPSTREAM_FRAMEWORK_UNCHECKED_STATUSOR_ACCESS_H_
+
+#include <optional>
+
+#include "../ClangTidyCheck.h"
+#include "clang/ASTMatchers/ASTMatchFinder.h"
+
+namespace clang::tidy::abseil {
+
+// Warns when the code is unwrapping an absl::StatusOr<T> object without
+// assuring that it contains a value.
+//
+// For details on the dataflow analysis implemented in this check see:
+// http://google3/devtools/cymbal/nullability/statusor
+class UncheckedStatusOrAccessCheck : public ClangTidyCheck {
+ public:
+  using ClangTidyCheck::ClangTidyCheck;
+  void registerMatchers(ast_matchers::MatchFinder* Finder) override;
+  void check(const ast_matchers::MatchFinder::MatchResult& Result) override;
+};
+
+}  // namespace clang::abseil
+
+#endif  // DEVTOOLS_CYMBAL_CLANG_TIDY_RUNTIME_UPSTREAM_FRAMEWORK_UNCHECKED_STATUSOR_ACCESS_H_

clang/include/clang/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.h

@@ -13,6 +13,7 @@
 #include "clang/ASTMatchers/ASTMatchers.h"
 #include "clang/Analysis/CFG.h"
 #include "clang/Analysis/FlowSensitive/CFGMatchSwitch.h"
+#include "clang/Analysis/FlowSensitive/CachedConstAccessorsLattice.h"
 #include "clang/Analysis/FlowSensitive/DataflowAnalysis.h"
 #include "clang/Analysis/FlowSensitive/DataflowEnvironment.h"
 #include "clang/Analysis/FlowSensitive/MatchSwitch.h"
@@ -69,7 +70,8 @@ struct UncheckedStatusOrAccessModelOptions {};
 
 // Dataflow analysis that discovers unsafe uses of StatusOr values.
 class UncheckedStatusOrAccessModel
-    : public DataflowAnalysis<UncheckedStatusOrAccessModel, NoopLattice> {
+    : public DataflowAnalysis<UncheckedStatusOrAccessModel,
+                              CachedConstAccessorsLattice<NoopLattice>> {
 public:
   explicit UncheckedStatusOrAccessModel(ASTContext &Ctx, Environment &Env);