Coverage Report

Created: 2019-07-24 05:18

/Users/buildslave/jenkins/workspace/clang-stage2-coverage-R/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.h
Line
Count
Source
1
//== RetainCountDiagnostics.h - Checks for leaks and other issues -*- C++ -*--//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
//
9
//  This file defines diagnostics for RetainCountChecker, which implements
10
//  a reference count checker for Core Foundation and Cocoa on (Mac OS X).
11
//
12
//===----------------------------------------------------------------------===//
13
14
#ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_RETAINCOUNTCHECKER_DIAGNOSTICS_H
15
#define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_RETAINCOUNTCHECKER_DIAGNOSTICS_H
16
17
#include "clang/Analysis/RetainSummaryManager.h"
18
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
19
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
20
#include "clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h"
21
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
22
23
namespace clang {
24
namespace ento {
25
namespace retaincountchecker {
26
27
class RefCountBug : public BugType {
28
public:
29
  enum RefCountBugType {
30
    UseAfterRelease,
31
    ReleaseNotOwned,
32
    DeallocNotOwned,
33
    FreeNotOwned,
34
    OverAutorelease,
35
    ReturnNotOwnedForOwned,
36
    LeakWithinFunction,
37
    LeakAtReturn,
38
  };
39
  RefCountBug(const CheckerBase *checker, RefCountBugType BT);
40
  StringRef getDescription() const;
41
42
49.4k
  RefCountBugType getBugType() const {
43
49.4k
    return BT;
44
49.4k
  }
45
46
24.7k
  const CheckerBase *getChecker() const {
47
24.7k
    return Checker;
48
24.7k
  }
49
50
private:
51
  RefCountBugType BT;
52
  const CheckerBase *Checker;
53
  static StringRef bugTypeToName(RefCountBugType BT);
54
};
55
56
class RefCountReport : public BugReport {
57
protected:
58
  SymbolRef Sym;
59
  bool isLeak = false;
60
61
public:
62
  RefCountReport(const RefCountBug &D, const LangOptions &LOpts,
63
              ExplodedNode *n, SymbolRef sym,
64
              bool isLeak=false);
65
66
  RefCountReport(const RefCountBug &D, const LangOptions &LOpts,
67
              ExplodedNode *n, SymbolRef sym,
68
              StringRef endText);
69
70
637
  llvm::iterator_range<ranges_iterator> getRanges() override {
71
637
    if (!isLeak)
72
307
      return BugReport::getRanges();
73
330
    return llvm::make_range(ranges_iterator(), ranges_iterator());
74
330
  }
75
};
76
77
class RefLeakReport : public RefCountReport {
78
  const MemRegion* AllocBinding;
79
  const Stmt *AllocStmt;
80
81
  // Finds the function declaration where a leak warning for the parameter
82
  // 'sym' should be raised.
83
  void deriveParamLocation(CheckerContext &Ctx, SymbolRef sym);
84
  // Finds the location where a leak warning for 'sym' should be raised.
85
  void deriveAllocLocation(CheckerContext &Ctx, SymbolRef sym);
86
  // Produces description of a leak warning which is printed on the console.
87
  void createDescription(CheckerContext &Ctx);
88
89
public:
90
  RefLeakReport(const RefCountBug &D, const LangOptions &LOpts, ExplodedNode *n,
91
                SymbolRef sym, CheckerContext &Ctx);
92
93
1.12k
  PathDiagnosticLocation getLocation(const SourceManager &SM) const override {
94
1.12k
    assert(Location.isValid());
95
1.12k
    return Location;
96
1.12k
  }
97
};
98
99
} // end namespace retaincountchecker
100
} // end namespace ento
101
} // end namespace clang
102
103
#endif