BugReporter.h revision e172e8b9e7fc67d7d03589af7e92fe777afcf33a
1db0e15ae3e2b5e180541eec35e2bce54359ca7d8Zhongxing Xu//===---  BugReporter.h - Generate PathDiagnostics --------------*- C++ -*-===//
261f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek//
361f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek//                     The LLVM Compiler Infrastructure
461f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek//
561f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek// This file is distributed under the University of Illinois Open Source
661f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek// License. See LICENSE.TXT for details.
761f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek//
861f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek//===----------------------------------------------------------------------===//
961f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek//
1061f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek//  This file defines BugReporter, a utility class for generating
1118c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek//  PathDiagnostics for analyses based on ProgramState.
1261f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek//
1361f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek//===----------------------------------------------------------------------===//
1461f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek
155a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis#ifndef LLVM_CLANG_GR_BUGREPORTER
165a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis#define LLVM_CLANG_GR_BUGREPORTER
1761f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek
18d2f642b56e87493edfc3b0dab359b5e32d5f8a5eTed Kremenek#include "clang/Basic/SourceLocation.h"
1918c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
201b431023814196f87515a540ebcb9e9f1a9176a1Ted Kremenek#include "llvm/ADT/FoldingSet.h"
211b431023814196f87515a540ebcb9e9f1a9176a1Ted Kremenek#include "llvm/ADT/ImmutableList.h"
221b431023814196f87515a540ebcb9e9f1a9176a1Ted Kremenek#include "llvm/ADT/ImmutableSet.h"
23f377fc85488f4799ced714ac60e65a0e3f8f69cbTed Kremenek#include "llvm/ADT/SmallSet.h"
24e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek#include <list>
25e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek
2661f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremeneknamespace clang {
271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
285a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidisclass ASTContext;
295a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidisclass Diagnostic;
305a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidisclass Stmt;
315a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidisclass ParentMap;
325a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis
339ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremeneknamespace ento {
345a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis
3561f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenekclass PathDiagnostic;
3661f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenekclass PathDiagnosticPiece;
3761f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenekclass PathDiagnosticClient;
385e2d2c2ee3cf410643e0f9a5701708e51409d973Benjamin Kramerclass ExplodedNode;
395e2d2c2ee3cf410643e0f9a5701708e51409d973Benjamin Kramerclass ExplodedGraph;
4050a6d0ce344c02782e0207574005c3b2aaa5077cTed Kremenekclass BugReporter;
418966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekclass BugReporterContext;
42d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidisclass ExprEngine;
4318c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenekclass ProgramState;
44cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekclass BugType;
451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
46cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
47cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek// Interface for individual bug reports.
48cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
498966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek
501b431023814196f87515a540ebcb9e9f1a9176a1Ted Kremenekclass BugReporterVisitor : public llvm::FoldingSetNode {
518966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekpublic:
528966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  virtual ~BugReporterVisitor();
539c378f705405d37f49795d5e915989de774fe11fTed Kremenek  virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
549c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                         const ExplodedNode *PrevN,
559c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                         BugReporterContext &BRC) = 0;
561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
578966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  virtual bool isOwnedByReporterContext() { return true; }
581b431023814196f87515a540ebcb9e9f1a9176a1Ted Kremenek  virtual void Profile(llvm::FoldingSetNodeID &ID) const = 0;
598966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek};
601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
618966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekclass BugReport : public BugReporterVisitor {
62e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zakspublic:
63e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  class NodeResolver {
64e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  public:
65e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks    virtual ~NodeResolver() {}
66e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks    virtual const ExplodedNode*
67e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks            getOriginalNode(const ExplodedNode *N) = 0;
68e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  };
69e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks
70e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  typedef void (*VisitorCreator)(BugReporterContext &BRcC, const void *data,
71e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks                                 const ExplodedNode *N);
72e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  typedef const SourceRange *ranges_iterator;
73e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks
747a9bb52171f962d51ab13c1e012d2236feb9558dTed Kremenekprotected:
75e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  friend class BugReporter;
76e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  friend class BugReportEquivClass;
77e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  typedef SmallVector<std::pair<VisitorCreator, const void*>, 2> Creators;
78e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks
79cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugType& BT;
80d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek  std::string ShortDescription;
81cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  std::string Description;
82212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care  const ExplodedNode *ErrorNode;
83e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  SmallVector<SourceRange, 4> Ranges;
84e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  Creators creators;
85cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
8638ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// Profile to identify equivalent bug reports for error report coalescing.
87e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  virtual void Profile(llvm::FoldingSetNodeID& hash) const;
881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
89e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  const Stmt *getStmt() const;
901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
91e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zakspublic:
92686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode)
93212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care    : BT(bt), Description(desc), ErrorNode(errornode) {}
941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
95686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  BugReport(BugType& bt, StringRef shortDesc, StringRef desc,
96212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care            const ExplodedNode *errornode)
97212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care  : BT(bt), ShortDescription(shortDesc), Description(desc),
98212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care    ErrorNode(errornode) {}
99d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek
10050a6d0ce344c02782e0207574005c3b2aaa5077cTed Kremenek  virtual ~BugReport();
1011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
102e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  bool isOwnedByReporterContext() { return false; }
103cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
104cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  const BugType& getBugType() const { return BT; }
105cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugType& getBugType() { return BT; }
1061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1079c378f705405d37f49795d5e915989de774fe11fTed Kremenek  const ExplodedNode *getErrorNode() const { return ErrorNode; }
1081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
109686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  const StringRef getDescription() const { return Description; }
110d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek
111686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  const StringRef getShortDescription() const {
112d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek    return ShortDescription.empty() ? Description : ShortDescription;
113d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek  }
1141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
115e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \brief This allows for addition of meta data to the diagnostic.
11638ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  ///
11738ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// Currently, only the HTMLDiagnosticClient knows how to display it.
118072192bcbb05a0fee7ec3061750b27e8d2004952Ted Kremenek  virtual std::pair<const char**,const char**> getExtraDescriptiveText() {
119cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    return std::make_pair((const char**)0,(const char**)0);
120072192bcbb05a0fee7ec3061750b27e8d2004952Ted Kremenek  }
1211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
12238ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// Provide custom definition for the last diagnostic piece on the path.
1239c378f705405d37f49795d5e915989de774fe11fTed Kremenek  virtual PathDiagnosticPiece *getEndPath(BugReporterContext &BRC,
1249c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                          const ExplodedNode *N);
1251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
12638ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Return the "definitive" location of the reported bug.
12738ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  ///
128cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  ///  While a bug can span an entire path, usually there is a specific
129fc8f0e14ad142ed811e90fbd9a30e419e301c717Chris Lattner  ///  location that can be used to identify where the key issue occurred.
130cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  ///  This location is used by clients rendering diagnostics.
131cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  virtual SourceLocation getLocation() const;
1321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
133e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \brief Add a range to a bug report.
134e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  ///
135e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// Ranges are used to highlight regions of interest in the source code.
136e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// They should be at the same source code line as the BugReport location.
137e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  void addRange(SourceRange R) {
138e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks    assert(R.isValid());
139e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks    Ranges.push_back(R);
140e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  }
141640ccf071076e684713cc3c3276bb51982bff607Argyrios Kyrtzidis
142e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \brief Get the SourceRanges associated with the report.
143e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  virtual std::pair<ranges_iterator, ranges_iterator> getRanges();
144e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks
145e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \brief Add custom or predefined bug report visitors to this report.
146e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  ///
147e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// The visitors should be used when the default trace is not sufficient.
148e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// For example, they allow constructing a more elaborate trace.
149e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \sa registerConditionVisitor(), registerTrackNullOrUndefValue(),
150e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// registerFindLastStore(), registerNilReceiverVisitor(), and
151e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// registerVarDeclsLastStore().
152e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  void addVisitorCreator(VisitorCreator creator, const void *data) {
153e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks    creators.push_back(std::make_pair(creator, data));
154e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  }
155cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
1569c378f705405d37f49795d5e915989de774fe11fTed Kremenek  virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
1579c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                         const ExplodedNode *PrevN,
1589c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                         BugReporterContext &BR);
1591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1609c378f705405d37f49795d5e915989de774fe11fTed Kremenek  virtual void registerInitialVisitors(BugReporterContext &BRC,
1619c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                       const ExplodedNode *N) {}
1626837faa083bebad39aa342f84c2b450fb6410eafTed Kremenek};
163cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
164cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
165cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek// BugTypes (collections of related reports).
166cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
1671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
168cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekclass BugReportEquivClass : public llvm::FoldingSetNode {
16938ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// List of *owned* BugReport objects.
170cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  std::list<BugReport*> Reports;
1711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
172cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  friend class BugReporter;
173cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void AddReport(BugReport* R) { Reports.push_back(R); }
174cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekpublic:
175cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugReportEquivClass(BugReport* R) { Reports.push_back(R); }
176cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  ~BugReportEquivClass();
177cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
178cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void Profile(llvm::FoldingSetNodeID& ID) const {
179cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    assert(!Reports.empty());
180cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    (*Reports.begin())->Profile(ID);
181cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  }
182cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
183cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  class iterator {
184cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    std::list<BugReport*>::iterator impl;
185cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  public:
186cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    iterator(std::list<BugReport*>::iterator i) : impl(i) {}
1879c378f705405d37f49795d5e915989de774fe11fTed Kremenek    iterator &operator++() { ++impl; return *this; }
1889c378f705405d37f49795d5e915989de774fe11fTed Kremenek    bool operator==(const iterator &I) const { return I.impl == impl; }
1899c378f705405d37f49795d5e915989de774fe11fTed Kremenek    bool operator!=(const iterator &I) const { return I.impl != impl; }
190cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    BugReport* operator*() const { return *impl; }
191cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    BugReport* operator->() const { return *impl; }
192cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  };
1931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1943aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  class const_iterator {
1953aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek    std::list<BugReport*>::const_iterator impl;
1963aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  public:
1973aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek    const_iterator(std::list<BugReport*>::const_iterator i) : impl(i) {}
1989c378f705405d37f49795d5e915989de774fe11fTed Kremenek    const_iterator &operator++() { ++impl; return *this; }
1999c378f705405d37f49795d5e915989de774fe11fTed Kremenek    bool operator==(const const_iterator &I) const { return I.impl == impl; }
2009c378f705405d37f49795d5e915989de774fe11fTed Kremenek    bool operator!=(const const_iterator &I) const { return I.impl != impl; }
2013aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek    const BugReport* operator*() const { return *impl; }
2023aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek    const BugReport* operator->() const { return *impl; }
2033aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  };
2041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
205cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  iterator begin() { return iterator(Reports.begin()); }
206cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  iterator end() { return iterator(Reports.end()); }
2071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
2083aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  const_iterator begin() const { return const_iterator(Reports.begin()); }
2093aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  const_iterator end() const { return const_iterator(Reports.end()); }
210cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek};
2111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
212cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
213cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek// BugReporter and friends.
214cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
215cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
216c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenekclass BugReporterData {
217c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenekpublic:
218c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  virtual ~BugReporterData();
2191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  virtual Diagnostic& getDiagnostic() = 0;
2201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  virtual PathDiagnosticClient* getPathDiagnosticClient() = 0;
2219c378f705405d37f49795d5e915989de774fe11fTed Kremenek  virtual ASTContext &getASTContext() = 0;
222c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  virtual SourceManager& getSourceManager() = 0;
223c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek};
2241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
22538ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks/// BugReporter is a utility class for generating PathDiagnostics for analysis.
22638ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks/// It collects the BugReports and BugTypes and knows how to generate
22738ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks/// and flush the corresponding diagnostics.
22861f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenekclass BugReporter {
229c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenekpublic:
230c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  enum Kind { BaseBRKind, GRBugReporterKind };
231c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek
232cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekprivate:
233cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  typedef llvm::ImmutableSet<BugType*> BugTypesTy;
234cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugTypesTy::Factory F;
235cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugTypesTy BugTypes;
236cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
2371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  const Kind kind;
238c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  BugReporterData& D;
2391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
24038ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// Generate and flush the diagnostics for the given bug report.
241cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void FlushReport(BugReportEquivClass& EQ);
242cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
24338ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// The set of bug reports tracked by the BugReporter.
244404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  llvm::FoldingSet<BugReportEquivClass> EQClasses;
245404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis
246cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekprotected:
2473baf672378f105602d2b12f03f00277ae1936fe9Ted Kremenek  BugReporter(BugReporterData& d, Kind k) : BugTypes(F.getEmptySet()), kind(k),
248212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care                                            D(d) {}
249cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
25061f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenekpublic:
2513baf672378f105602d2b12f03f00277ae1936fe9Ted Kremenek  BugReporter(BugReporterData& d) : BugTypes(F.getEmptySet()), kind(BaseBRKind),
252212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care                                    D(d) {}
253c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  virtual ~BugReporter();
2541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
25538ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Generate and flush diagnostics for all bug reports.
256cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void FlushReports();
2571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
258c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  Kind getKind() const { return kind; }
2591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
260c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  Diagnostic& getDiagnostic() {
261c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    return D.getDiagnostic();
262c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
2631eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
264c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  PathDiagnosticClient* getPathDiagnosticClient() {
265c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    return D.getPathDiagnosticClient();
266c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
2671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
26838ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Iterator over the set of BugTypes tracked by the BugReporter.
2693aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  typedef BugTypesTy::iterator iterator;
2703aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  iterator begin() { return BugTypes.begin(); }
2713aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  iterator end() { return BugTypes.end(); }
2721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
27338ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Iterator over the set of BugReports tracked by the BugReporter.
274404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  typedef llvm::FoldingSet<BugReportEquivClass>::iterator EQClasses_iterator;
275404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  EQClasses_iterator EQClasses_begin() { return EQClasses.begin(); }
276404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  EQClasses_iterator EQClasses_end() { return EQClasses.end(); }
277404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis
2789c378f705405d37f49795d5e915989de774fe11fTed Kremenek  ASTContext &getContext() { return D.getASTContext(); }
2791eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
280cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  SourceManager& getSourceManager() { return D.getSourceManager(); }
2811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
28240406fe63df2b932d6e9fd021f77f097f9d33afbTed Kremenek  virtual void GeneratePathDiagnostic(PathDiagnostic& pathDiagnostic,
283686775deca8b8685eb90801495880e3abdd844c2Chris Lattner        SmallVectorImpl<BugReport *> &bugReports) {}
28461f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek
285cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void Register(BugType *BT);
2861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
28738ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Add the given report to the set of reports tracked by BugReporter.
28838ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  ///
28938ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// The reports are usually generated by the checkers. Further, they are
29038ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// folded based on the profile value, which is done to coalesce similar
29138ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// reports.
292cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void EmitReport(BugReport *R);
2931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
294686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugStr,
2958f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek                       SourceLocation Loc,
2968f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek                       SourceRange* RangeBeg, unsigned NumRanges);
2978f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek
298686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugCategory,
299686775deca8b8685eb90801495880e3abdd844c2Chris Lattner                       StringRef BugStr, SourceLocation Loc,
3008c036c7f77d69f96df49219ed0bdbade200d52ebTed Kremenek                       SourceRange* RangeBeg, unsigned NumRanges);
3011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
303686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugStr,
3048f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek                       SourceLocation Loc) {
3058f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek    EmitBasicReport(BugName, BugStr, Loc, 0, 0);
3068f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek  }
3071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
308686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugCategory,
309686775deca8b8685eb90801495880e3abdd844c2Chris Lattner                       StringRef BugStr, SourceLocation Loc) {
31062059e809596a419e6fc3e751b2f0b57b7cc51e7Ted Kremenek    EmitBasicReport(BugName, BugCategory, BugStr, Loc, 0, 0);
31162059e809596a419e6fc3e751b2f0b57b7cc51e7Ted Kremenek  }
3121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
313686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugStr,
3148f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek                       SourceLocation Loc, SourceRange R) {
3158f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek    EmitBasicReport(BugName, BugStr, Loc, &R, 1);
3168f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek  }
3171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
318686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef Category,
319686775deca8b8685eb90801495880e3abdd844c2Chris Lattner                       StringRef BugStr, SourceLocation Loc,
320f0171732efb4647772ad2a45c0f31978b0e34f71Benjamin Kramer                       SourceRange R) {
3218c036c7f77d69f96df49219ed0bdbade200d52ebTed Kremenek    EmitBasicReport(BugName, Category, BugStr, Loc, &R, 1);
3228c036c7f77d69f96df49219ed0bdbade200d52ebTed Kremenek  }
3231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
324c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  static bool classof(const BugReporter* R) { return true; }
325404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis
326404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidisprivate:
327404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  llvm::StringMap<BugType *> StrBugTypes;
328404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis
329404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  /// \brief Returns a BugType that is associated with the given name and
330404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  /// category.
331686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  BugType *getBugTypeForName(StringRef name, StringRef category);
332c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek};
3338966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek
334cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek// FIXME: Get rid of GRBugReporter.  It's the wrong abstraction.
335c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenekclass GRBugReporter : public BugReporter {
336d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidis  ExprEngine& Eng;
3372dabd4372c50019fa00aae223ce634e0e754a3f2Ted Kremenek  llvm::SmallSet<SymbolRef, 10> NotableSymbols;
3381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumppublic:
339d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidis  GRBugReporter(BugReporterData& d, ExprEngine& eng)
340c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    : BugReporter(d, GRBugReporterKind), Eng(eng) {}
3411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
342c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  virtual ~GRBugReporter();
3431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
344cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  /// getEngine - Return the analysis engine used to analyze a given
345cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  ///  function or method.
346d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidis  ExprEngine &getEngine() { return Eng; }
347c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek
348cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  /// getGraph - Get the exploded graph created by the analysis engine
349cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  ///  for the analyzed method or function.
35038b02b912e1a55c912f603c4369431264d36a381Zhongxing Xu  ExplodedGraph &getGraph();
3511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
352cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  /// getStateManager - Return the state manager used by the analysis
353cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  ///  engine.
35418c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek  ProgramStateManager &getStateManager();
3551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
35640406fe63df2b932d6e9fd021f77f097f9d33afbTed Kremenek  virtual void GeneratePathDiagnostic(PathDiagnostic &pathDiagnostic,
357686775deca8b8685eb90801495880e3abdd844c2Chris Lattner                     SmallVectorImpl<BugReport*> &bugReports);
358c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek
3592dabd4372c50019fa00aae223ce634e0e754a3f2Ted Kremenek  void addNotableSymbol(SymbolRef Sym) {
360c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    NotableSymbols.insert(Sym);
361c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
3621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3632dabd4372c50019fa00aae223ce634e0e754a3f2Ted Kremenek  bool isNotable(SymbolRef Sym) const {
364c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    return (bool) NotableSymbols.count(Sym);
365c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
3661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
367cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  /// classof - Used by isa<>, cast<>, and dyn_cast<>.
368c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  static bool classof(const BugReporter* R) {
369c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    return R->getKind() == GRBugReporterKind;
370c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
37161f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek};
3721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3738966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekclass BugReporterContext {
3748966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  GRBugReporter &BR;
3756493b8153a56cbff9f89c1a53f04b6af424b383aTed Kremenek  // Not the most efficient data structure, but we use an ImmutableList for the
3766493b8153a56cbff9f89c1a53f04b6af424b383aTed Kremenek  // Callbacks because it is safe to make additions to list during iteration.
3776493b8153a56cbff9f89c1a53f04b6af424b383aTed Kremenek  llvm::ImmutableList<BugReporterVisitor*>::Factory F;
3786493b8153a56cbff9f89c1a53f04b6af424b383aTed Kremenek  llvm::ImmutableList<BugReporterVisitor*> Callbacks;
3791b431023814196f87515a540ebcb9e9f1a9176a1Ted Kremenek  llvm::FoldingSet<BugReporterVisitor> CallbacksSet;
3808966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekpublic:
3813baf672378f105602d2b12f03f00277ae1936fe9Ted Kremenek  BugReporterContext(GRBugReporter& br) : BR(br), Callbacks(F.getEmptyList()) {}
3828966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  virtual ~BugReporterContext();
3831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3841b431023814196f87515a540ebcb9e9f1a9176a1Ted Kremenek  void addVisitor(BugReporterVisitor* visitor);
3851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3866493b8153a56cbff9f89c1a53f04b6af424b383aTed Kremenek  typedef llvm::ImmutableList<BugReporterVisitor*>::iterator visitor_iterator;
3878966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  visitor_iterator visitor_begin() { return Callbacks.begin(); }
3881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  visitor_iterator visitor_end() { return Callbacks.end(); }
3891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  GRBugReporter& getBugReporter() { return BR; }
3911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
39238b02b912e1a55c912f603c4369431264d36a381Zhongxing Xu  ExplodedGraph &getGraph() { return BR.getGraph(); }
3931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3948966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  void addNotableSymbol(SymbolRef Sym) {
3958966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    // FIXME: For now forward to GRBugReporter.
3968966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    BR.addNotableSymbol(Sym);
3978966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
3981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3998966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  bool isNotable(SymbolRef Sym) const {
4008966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    // FIXME: For now forward to GRBugReporter.
4018966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    return BR.isNotable(Sym);
4028966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
4031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
40418c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek  ProgramStateManager& getStateManager() {
4058966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    return BR.getStateManager();
4068966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
4071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
408c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek  SValBuilder& getSValBuilder() {
409c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek    return getStateManager().getSValBuilder();
410dd986cc9989f665370cef0917ba8ba3b4871e3e6Ted Kremenek  }
4111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4129c378f705405d37f49795d5e915989de774fe11fTed Kremenek  ASTContext &getASTContext() {
4138966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    return BR.getContext();
4148966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
4151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4168966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  SourceManager& getSourceManager() {
4178966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    return BR.getSourceManager();
4188966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
4191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  virtual BugReport::NodeResolver& getNodeResolver() = 0;
4218966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek};
422e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek
423e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaksclass DiagBugReport : public BugReport {
424e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek  std::list<std::string> Strs;
425e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek  FullSourceLoc L;
426e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenekpublic:
427686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  DiagBugReport(BugType& D, StringRef desc, FullSourceLoc l) :
428e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  BugReport(D, desc, 0), L(l) {}
4291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
430e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek  virtual ~DiagBugReport() {}
4311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
432cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  // FIXME: Move out-of-line (virtual function).
433cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  SourceLocation getLocation() const { return L; }
4341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
435686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void addString(StringRef s) { Strs.push_back(s); }
4361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
437e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek  typedef std::list<std::string>::const_iterator str_iterator;
438e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek  str_iterator str_begin() const { return Strs.begin(); }
439e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek  str_iterator str_end() const { return Strs.end(); }
440e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek};
4411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4425350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek//===----------------------------------------------------------------------===//
4435350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek//===----------------------------------------------------------------------===//
4441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4455350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremeneknamespace bugreporter {
4461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
447c5619d901a68dc27a9e310a6a831f03efebcd950Zhongxing Xuconst Stmt *GetDerefExpr(const ExplodedNode *N);
448c5619d901a68dc27a9e310a6a831f03efebcd950Zhongxing Xuconst Stmt *GetDenomExpr(const ExplodedNode *N);
449c5619d901a68dc27a9e310a6a831f03efebcd950Zhongxing Xuconst Stmt *GetCalleeExpr(const ExplodedNode *N);
450c5619d901a68dc27a9e310a6a831f03efebcd950Zhongxing Xuconst Stmt *GetRetValExpr(const ExplodedNode *N);
4515350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek
452993124ecdd44ec1430a3b7f01b22f65bbaadb586Ted Kremenekvoid registerConditionVisitor(BugReporterContext &BRC);
453993124ecdd44ec1430a3b7f01b22f65bbaadb586Ted Kremenek
4549c378f705405d37f49795d5e915989de774fe11fTed Kremenekvoid registerTrackNullOrUndefValue(BugReporterContext &BRC, const void *stmt,
4559c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                   const ExplodedNode *N);
4565350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek
4579c378f705405d37f49795d5e915989de774fe11fTed Kremenekvoid registerFindLastStore(BugReporterContext &BRC, const void *memregion,
45894fd0b8c88db9b1cd99457d3cd8cd333341dd39cTed Kremenek                           const ExplodedNode *N);
45994fd0b8c88db9b1cd99457d3cd8cd333341dd39cTed Kremenek
460993124ecdd44ec1430a3b7f01b22f65bbaadb586Ted Kremenekvoid registerNilReceiverVisitor(BugReporterContext &BRC);
46194fd0b8c88db9b1cd99457d3cd8cd333341dd39cTed Kremenek
4622bbbe50dbaa0bf231c16333b335304655deeb26bTom Carevoid registerVarDeclsLastStore(BugReporterContext &BRC, const void *stmt,
4632bbbe50dbaa0bf231c16333b335304655deeb26bTom Care                               const ExplodedNode *N);
4642bbbe50dbaa0bf231c16333b335304655deeb26bTom Care
4655350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek} // end namespace clang::bugreporter
4661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4675350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek//===----------------------------------------------------------------------===//
468e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek
4695a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis} // end GR namespace
4705a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis
47161f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek} // end clang namespace
47261f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek
47361f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek#endif
474