BugReporter.h revision 3b030a28cda2b953758507769c1d436bec5ec45e
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;
408e6431adab313e283a992698f6fc7afe62420999Anna Zaksclass BugReport;
4150a6d0ce344c02782e0207574005c3b2aaa5077cTed Kremenekclass BugReporter;
428966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekclass BugReporterContext;
43d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidisclass ExprEngine;
4418c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenekclass ProgramState;
45cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekclass BugType;
461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
47cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
48cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek// Interface for individual bug reports.
49cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
508966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek
511b431023814196f87515a540ebcb9e9f1a9176a1Ted Kremenekclass BugReporterVisitor : public llvm::FoldingSetNode {
528966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekpublic:
538966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  virtual ~BugReporterVisitor();
548e6431adab313e283a992698f6fc7afe62420999Anna Zaks
558e6431adab313e283a992698f6fc7afe62420999Anna Zaks  /// \brief Return a diagnostic piece which should be associated with the
568e6431adab313e283a992698f6fc7afe62420999Anna Zaks  /// given node.
578e6431adab313e283a992698f6fc7afe62420999Anna Zaks  ///
588e6431adab313e283a992698f6fc7afe62420999Anna Zaks  /// The last parameter can be used to register a new visitor with the given
598e6431adab313e283a992698f6fc7afe62420999Anna Zaks  /// BugReport while processing a node.
609c378f705405d37f49795d5e915989de774fe11fTed Kremenek  virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
619c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                         const ExplodedNode *PrevN,
628e6431adab313e283a992698f6fc7afe62420999Anna Zaks                                         BugReporterContext &BRC,
638e6431adab313e283a992698f6fc7afe62420999Anna Zaks                                         BugReport &BR) = 0;
641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
658966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  virtual bool isOwnedByReporterContext() { return true; }
661b431023814196f87515a540ebcb9e9f1a9176a1Ted Kremenek  virtual void Profile(llvm::FoldingSetNodeID &ID) const = 0;
678966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek};
681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
69e7c4c4ccc6a51c82332382267b84e9d72f229b5eAnna Zaks/// This class provides an interface through which checkers can create
70e7c4c4ccc6a51c82332382267b84e9d72f229b5eAnna Zaks/// individual bug reports.
718966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekclass BugReport : public BugReporterVisitor {
72e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zakspublic:
73e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  class NodeResolver {
74e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  public:
75e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks    virtual ~NodeResolver() {}
76e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks    virtual const ExplodedNode*
77e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks            getOriginalNode(const ExplodedNode *N) = 0;
78e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  };
79e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks
808e6431adab313e283a992698f6fc7afe62420999Anna Zaks  typedef void (*VisitorCreator)(BugReport &BR, const void *data);
81e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  typedef const SourceRange *ranges_iterator;
828e6431adab313e283a992698f6fc7afe62420999Anna Zaks  typedef llvm::ImmutableList<BugReporterVisitor*>::iterator visitor_iterator;
83e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks
847a9bb52171f962d51ab13c1e012d2236feb9558dTed Kremenekprotected:
85e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  friend class BugReporter;
86e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  friend class BugReportEquivClass;
87e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  typedef SmallVector<std::pair<VisitorCreator, const void*>, 2> Creators;
88e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks
89cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugType& BT;
90d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek  std::string ShortDescription;
91cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  std::string Description;
92b7530a4ca9a7ef62350682bbb374a06de6fdaa9fAnna Zaks  FullSourceLoc Location;
93212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care  const ExplodedNode *ErrorNode;
94e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  SmallVector<SourceRange, 4> Ranges;
958e6431adab313e283a992698f6fc7afe62420999Anna Zaks
968e6431adab313e283a992698f6fc7afe62420999Anna Zaks  // Not the most efficient data structure, but we use an ImmutableList for the
978e6431adab313e283a992698f6fc7afe62420999Anna Zaks  // Callbacks because it is safe to make additions to list during iteration.
988e6431adab313e283a992698f6fc7afe62420999Anna Zaks  llvm::ImmutableList<BugReporterVisitor*>::Factory F;
998e6431adab313e283a992698f6fc7afe62420999Anna Zaks  llvm::ImmutableList<BugReporterVisitor*> Callbacks;
1008e6431adab313e283a992698f6fc7afe62420999Anna Zaks  llvm::FoldingSet<BugReporterVisitor> CallbacksSet;
101cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
10238ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// Profile to identify equivalent bug reports for error report coalescing.
103e7c4c4ccc6a51c82332382267b84e9d72f229b5eAnna Zaks  /// Reports are uniqued to ensure that we do not emit multiple diagnostics
104e7c4c4ccc6a51c82332382267b84e9d72f229b5eAnna Zaks  /// for each bug.
105e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  virtual void Profile(llvm::FoldingSetNodeID& hash) const;
1061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
107e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  const Stmt *getStmt() const;
1081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
109e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zakspublic:
110686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode)
1118e6431adab313e283a992698f6fc7afe62420999Anna Zaks    : BT(bt), Description(desc), ErrorNode(errornode),
1128e6431adab313e283a992698f6fc7afe62420999Anna Zaks      Callbacks(F.getEmptyList()) {
1138e6431adab313e283a992698f6fc7afe62420999Anna Zaks      addVisitor(this);
1148e6431adab313e283a992698f6fc7afe62420999Anna Zaks    }
1151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
116686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  BugReport(BugType& bt, StringRef shortDesc, StringRef desc,
117212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care            const ExplodedNode *errornode)
1188e6431adab313e283a992698f6fc7afe62420999Anna Zaks    : BT(bt), ShortDescription(shortDesc), Description(desc),
1198e6431adab313e283a992698f6fc7afe62420999Anna Zaks      ErrorNode(errornode), Callbacks(F.getEmptyList()) {
1208e6431adab313e283a992698f6fc7afe62420999Anna Zaks      addVisitor(this);
1218e6431adab313e283a992698f6fc7afe62420999Anna Zaks    }
122d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek
123b7530a4ca9a7ef62350682bbb374a06de6fdaa9fAnna Zaks  BugReport(BugType& bt, StringRef desc, FullSourceLoc l)
1248e6431adab313e283a992698f6fc7afe62420999Anna Zaks    : BT(bt), Description(desc), Location(l), ErrorNode(0),
1258e6431adab313e283a992698f6fc7afe62420999Anna Zaks      Callbacks(F.getEmptyList()) {
1268e6431adab313e283a992698f6fc7afe62420999Anna Zaks      addVisitor(this);
1278e6431adab313e283a992698f6fc7afe62420999Anna Zaks    }
128b7530a4ca9a7ef62350682bbb374a06de6fdaa9fAnna Zaks
12950a6d0ce344c02782e0207574005c3b2aaa5077cTed Kremenek  virtual ~BugReport();
1301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1313b030a28cda2b953758507769c1d436bec5ec45eAnna Zaks  virtual bool isOwnedByReporterContext() { return false; }
132cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
133cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  const BugType& getBugType() const { return BT; }
134cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugType& getBugType() { return BT; }
1351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1369c378f705405d37f49795d5e915989de774fe11fTed Kremenek  const ExplodedNode *getErrorNode() const { return ErrorNode; }
1371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
138686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  const StringRef getDescription() const { return Description; }
139d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek
140686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  const StringRef getShortDescription() const {
141d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek    return ShortDescription.empty() ? Description : ShortDescription;
142d49967f8764135ae65658e354b6d38e3637c9de3Ted Kremenek  }
1431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
144e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \brief This allows for addition of meta data to the diagnostic.
14538ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  ///
14638ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// Currently, only the HTMLDiagnosticClient knows how to display it.
147072192bcbb05a0fee7ec3061750b27e8d2004952Ted Kremenek  virtual std::pair<const char**,const char**> getExtraDescriptiveText() {
148cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    return std::make_pair((const char**)0,(const char**)0);
149072192bcbb05a0fee7ec3061750b27e8d2004952Ted Kremenek  }
1501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
15138ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// Provide custom definition for the last diagnostic piece on the path.
1529c378f705405d37f49795d5e915989de774fe11fTed Kremenek  virtual PathDiagnosticPiece *getEndPath(BugReporterContext &BRC,
1539c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                          const ExplodedNode *N);
1541eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
15538ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Return the "definitive" location of the reported bug.
15638ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  ///
157cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  ///  While a bug can span an entire path, usually there is a specific
158fc8f0e14ad142ed811e90fbd9a30e419e301c717Chris Lattner  ///  location that can be used to identify where the key issue occurred.
159cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  ///  This location is used by clients rendering diagnostics.
160cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  virtual SourceLocation getLocation() const;
1611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
162e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \brief Add a range to a bug report.
163e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  ///
164e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// Ranges are used to highlight regions of interest in the source code.
165e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// They should be at the same source code line as the BugReport location.
166e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  void addRange(SourceRange R) {
167e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks    assert(R.isValid());
168e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks    Ranges.push_back(R);
169e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  }
170640ccf071076e684713cc3c3276bb51982bff607Argyrios Kyrtzidis
171e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \brief Get the SourceRanges associated with the report.
172e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  virtual std::pair<ranges_iterator, ranges_iterator> getRanges();
173e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks
174e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \brief Add custom or predefined bug report visitors to this report.
175e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  ///
176e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// The visitors should be used when the default trace is not sufficient.
177e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// For example, they allow constructing a more elaborate trace.
178e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// \sa registerConditionVisitor(), registerTrackNullOrUndefValue(),
179e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// registerFindLastStore(), registerNilReceiverVisitor(), and
180e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  /// registerVarDeclsLastStore().
181e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  void addVisitorCreator(VisitorCreator creator, const void *data) {
1828e6431adab313e283a992698f6fc7afe62420999Anna Zaks    creator(*this, data);
183e172e8b9e7fc67d7d03589af7e92fe777afcf33aAnna Zaks  }
184cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
1858e6431adab313e283a992698f6fc7afe62420999Anna Zaks  void addVisitor(BugReporterVisitor* visitor);
1868e6431adab313e283a992698f6fc7afe62420999Anna Zaks
1878e6431adab313e283a992698f6fc7afe62420999Anna Zaks	/// Iterators through the custom diagnostic visitors.
1888e6431adab313e283a992698f6fc7afe62420999Anna Zaks  visitor_iterator visitor_begin() { return Callbacks.begin(); }
1898e6431adab313e283a992698f6fc7afe62420999Anna Zaks  visitor_iterator visitor_end() { return Callbacks.end(); }
1908e6431adab313e283a992698f6fc7afe62420999Anna Zaks
1919c378f705405d37f49795d5e915989de774fe11fTed Kremenek  virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
1929c378f705405d37f49795d5e915989de774fe11fTed Kremenek                                         const ExplodedNode *PrevN,
1938e6431adab313e283a992698f6fc7afe62420999Anna Zaks                                         BugReporterContext &BRC,
1948e6431adab313e283a992698f6fc7afe62420999Anna Zaks                                         BugReport &BR);
1956837faa083bebad39aa342f84c2b450fb6410eafTed Kremenek};
196cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
197cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
198cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek// BugTypes (collections of related reports).
199cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
2001eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
201cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekclass BugReportEquivClass : public llvm::FoldingSetNode {
20238ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// List of *owned* BugReport objects.
203cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  std::list<BugReport*> Reports;
2041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
205cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  friend class BugReporter;
206cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void AddReport(BugReport* R) { Reports.push_back(R); }
207cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekpublic:
208cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugReportEquivClass(BugReport* R) { Reports.push_back(R); }
209cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  ~BugReportEquivClass();
210cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
211cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void Profile(llvm::FoldingSetNodeID& ID) const {
212cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    assert(!Reports.empty());
213cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    (*Reports.begin())->Profile(ID);
214cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  }
215cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
216cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  class iterator {
217cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    std::list<BugReport*>::iterator impl;
218cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  public:
219cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    iterator(std::list<BugReport*>::iterator i) : impl(i) {}
2209c378f705405d37f49795d5e915989de774fe11fTed Kremenek    iterator &operator++() { ++impl; return *this; }
2219c378f705405d37f49795d5e915989de774fe11fTed Kremenek    bool operator==(const iterator &I) const { return I.impl == impl; }
2229c378f705405d37f49795d5e915989de774fe11fTed Kremenek    bool operator!=(const iterator &I) const { return I.impl != impl; }
223cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    BugReport* operator*() const { return *impl; }
224cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek    BugReport* operator->() const { return *impl; }
225cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  };
2261eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
2273aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  class const_iterator {
2283aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek    std::list<BugReport*>::const_iterator impl;
2293aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  public:
2303aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek    const_iterator(std::list<BugReport*>::const_iterator i) : impl(i) {}
2319c378f705405d37f49795d5e915989de774fe11fTed Kremenek    const_iterator &operator++() { ++impl; return *this; }
2329c378f705405d37f49795d5e915989de774fe11fTed Kremenek    bool operator==(const const_iterator &I) const { return I.impl == impl; }
2339c378f705405d37f49795d5e915989de774fe11fTed Kremenek    bool operator!=(const const_iterator &I) const { return I.impl != impl; }
2343aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek    const BugReport* operator*() const { return *impl; }
2353aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek    const BugReport* operator->() const { return *impl; }
2363aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  };
2371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
238cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  iterator begin() { return iterator(Reports.begin()); }
239cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  iterator end() { return iterator(Reports.end()); }
2401eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
2413aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  const_iterator begin() const { return const_iterator(Reports.begin()); }
2423aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  const_iterator end() const { return const_iterator(Reports.end()); }
243cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek};
2441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
245cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
246cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek// BugReporter and friends.
247cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek//===----------------------------------------------------------------------===//
248cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
249c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenekclass BugReporterData {
250c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenekpublic:
251c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  virtual ~BugReporterData();
2521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  virtual Diagnostic& getDiagnostic() = 0;
2531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  virtual PathDiagnosticClient* getPathDiagnosticClient() = 0;
2549c378f705405d37f49795d5e915989de774fe11fTed Kremenek  virtual ASTContext &getASTContext() = 0;
255c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  virtual SourceManager& getSourceManager() = 0;
256c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek};
2571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
25838ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks/// BugReporter is a utility class for generating PathDiagnostics for analysis.
25938ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks/// It collects the BugReports and BugTypes and knows how to generate
26038ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks/// and flush the corresponding diagnostics.
26161f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenekclass BugReporter {
262c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenekpublic:
263c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  enum Kind { BaseBRKind, GRBugReporterKind };
264c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek
265cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekprivate:
266cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  typedef llvm::ImmutableSet<BugType*> BugTypesTy;
267cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugTypesTy::Factory F;
268cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  BugTypesTy BugTypes;
269cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
2701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  const Kind kind;
271c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  BugReporterData& D;
2721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
27338ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// Generate and flush the diagnostics for the given bug report.
274cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void FlushReport(BugReportEquivClass& EQ);
275cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
27638ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// The set of bug reports tracked by the BugReporter.
277404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  llvm::FoldingSet<BugReportEquivClass> EQClasses;
2783b030a28cda2b953758507769c1d436bec5ec45eAnna Zaks  /// A vector of BugReports for tracking the allocated pointers and cleanup.
2793b030a28cda2b953758507769c1d436bec5ec45eAnna Zaks  std::vector<BugReportEquivClass *> EQClassesVector;
280404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis
281cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenekprotected:
2823baf672378f105602d2b12f03f00277ae1936fe9Ted Kremenek  BugReporter(BugReporterData& d, Kind k) : BugTypes(F.getEmptySet()), kind(k),
283212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care                                            D(d) {}
284cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek
28561f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenekpublic:
2863baf672378f105602d2b12f03f00277ae1936fe9Ted Kremenek  BugReporter(BugReporterData& d) : BugTypes(F.getEmptySet()), kind(BaseBRKind),
287212f6d3b5fb3fa55ba1e40671cfc336430abc8ddTom Care                                    D(d) {}
288c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  virtual ~BugReporter();
2891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
29038ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Generate and flush diagnostics for all bug reports.
291cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void FlushReports();
2921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
293c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  Kind getKind() const { return kind; }
2941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
295c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  Diagnostic& getDiagnostic() {
296c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    return D.getDiagnostic();
297c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
2981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
299c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  PathDiagnosticClient* getPathDiagnosticClient() {
300c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    return D.getPathDiagnosticClient();
301c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
3021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
30338ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Iterator over the set of BugTypes tracked by the BugReporter.
3043aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  typedef BugTypesTy::iterator iterator;
3053aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  iterator begin() { return BugTypes.begin(); }
3063aa1ab27c14d16c853ccb61f17a4a75d8e366806Ted Kremenek  iterator end() { return BugTypes.end(); }
3071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
30838ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Iterator over the set of BugReports tracked by the BugReporter.
309404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  typedef llvm::FoldingSet<BugReportEquivClass>::iterator EQClasses_iterator;
310404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  EQClasses_iterator EQClasses_begin() { return EQClasses.begin(); }
311404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  EQClasses_iterator EQClasses_end() { return EQClasses.end(); }
312404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis
3139c378f705405d37f49795d5e915989de774fe11fTed Kremenek  ASTContext &getContext() { return D.getASTContext(); }
3141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
315cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  SourceManager& getSourceManager() { return D.getSourceManager(); }
3161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
31740406fe63df2b932d6e9fd021f77f097f9d33afbTed Kremenek  virtual void GeneratePathDiagnostic(PathDiagnostic& pathDiagnostic,
318686775deca8b8685eb90801495880e3abdd844c2Chris Lattner        SmallVectorImpl<BugReport *> &bugReports) {}
31961f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek
320cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void Register(BugType *BT);
3211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
32238ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// \brief Add the given report to the set of reports tracked by BugReporter.
32338ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  ///
32438ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// The reports are usually generated by the checkers. Further, they are
32538ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// folded based on the profile value, which is done to coalesce similar
32638ca02ed9495a3c708fafc7d8b7d87a8cfcfe8f3Anna Zaks  /// reports.
327cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek  void EmitReport(BugReport *R);
3281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
329686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugStr,
3308f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek                       SourceLocation Loc,
3318f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek                       SourceRange* RangeBeg, unsigned NumRanges);
3328f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek
333686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugCategory,
334686775deca8b8685eb90801495880e3abdd844c2Chris Lattner                       StringRef BugStr, SourceLocation Loc,
3358c036c7f77d69f96df49219ed0bdbade200d52ebTed Kremenek                       SourceRange* RangeBeg, unsigned NumRanges);
3361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
338686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugStr,
3398f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek                       SourceLocation Loc) {
3408f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek    EmitBasicReport(BugName, BugStr, Loc, 0, 0);
3418f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek  }
3421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
343686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugCategory,
344686775deca8b8685eb90801495880e3abdd844c2Chris Lattner                       StringRef BugStr, SourceLocation Loc) {
34562059e809596a419e6fc3e751b2f0b57b7cc51e7Ted Kremenek    EmitBasicReport(BugName, BugCategory, BugStr, Loc, 0, 0);
34662059e809596a419e6fc3e751b2f0b57b7cc51e7Ted Kremenek  }
3471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
348686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef BugStr,
3498f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek                       SourceLocation Loc, SourceRange R) {
3508f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek    EmitBasicReport(BugName, BugStr, Loc, &R, 1);
3518f2698621f5090db1dea691059bd0ebd79fb7f14Ted Kremenek  }
3521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
353686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  void EmitBasicReport(StringRef BugName, StringRef Category,
354686775deca8b8685eb90801495880e3abdd844c2Chris Lattner                       StringRef BugStr, SourceLocation Loc,
355f0171732efb4647772ad2a45c0f31978b0e34f71Benjamin Kramer                       SourceRange R) {
3568c036c7f77d69f96df49219ed0bdbade200d52ebTed Kremenek    EmitBasicReport(BugName, Category, BugStr, Loc, &R, 1);
3578c036c7f77d69f96df49219ed0bdbade200d52ebTed Kremenek  }
3581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
359c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  static bool classof(const BugReporter* R) { return true; }
360404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis
361404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidisprivate:
362404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  llvm::StringMap<BugType *> StrBugTypes;
363404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis
364404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  /// \brief Returns a BugType that is associated with the given name and
365404fc3ad6bd844bf8ce70cbf9974ab297704a122Argyrios Kyrtzidis  /// category.
366686775deca8b8685eb90801495880e3abdd844c2Chris Lattner  BugType *getBugTypeForName(StringRef name, StringRef category);
367c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek};
3688966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek
369cf118d41f7930a18dce97416ef7834a62642f587Ted Kremenek// FIXME: Get rid of GRBugReporter.  It's the wrong abstraction.
370c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenekclass GRBugReporter : public BugReporter {
371d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidis  ExprEngine& Eng;
3722dabd4372c50019fa00aae223ce634e0e754a3f2Ted Kremenek  llvm::SmallSet<SymbolRef, 10> NotableSymbols;
3731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stumppublic:
374d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidis  GRBugReporter(BugReporterData& d, ExprEngine& eng)
375c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    : BugReporter(d, GRBugReporterKind), Eng(eng) {}
3761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
377c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  virtual ~GRBugReporter();
3781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
379cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  /// getEngine - Return the analysis engine used to analyze a given
380cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  ///  function or method.
381d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidis  ExprEngine &getEngine() { return Eng; }
382c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek
383cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  /// getGraph - Get the exploded graph created by the analysis engine
384cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  ///  for the analyzed method or function.
38538b02b912e1a55c912f603c4369431264d36a381Zhongxing Xu  ExplodedGraph &getGraph();
3861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
387cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  /// getStateManager - Return the state manager used by the analysis
388cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  ///  engine.
38918c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek  ProgramStateManager &getStateManager();
3901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
39140406fe63df2b932d6e9fd021f77f097f9d33afbTed Kremenek  virtual void GeneratePathDiagnostic(PathDiagnostic &pathDiagnostic,
392686775deca8b8685eb90801495880e3abdd844c2Chris Lattner                     SmallVectorImpl<BugReport*> &bugReports);
393c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek
3942dabd4372c50019fa00aae223ce634e0e754a3f2Ted Kremenek  void addNotableSymbol(SymbolRef Sym) {
395c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    NotableSymbols.insert(Sym);
396c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
3971eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
3982dabd4372c50019fa00aae223ce634e0e754a3f2Ted Kremenek  bool isNotable(SymbolRef Sym) const {
399c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    return (bool) NotableSymbols.count(Sym);
400c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
4011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
402cfdf9b4edf1172728be97d1ae2d95171975f812bTed Kremenek  /// classof - Used by isa<>, cast<>, and dyn_cast<>.
403c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  static bool classof(const BugReporter* R) {
404c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek    return R->getKind() == GRBugReporterKind;
405c095997b853270d8adb6fe55209a4dbc42803d16Ted Kremenek  }
40661f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek};
4071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4088966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekclass BugReporterContext {
4098966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  GRBugReporter &BR;
4108966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenekpublic:
4118e6431adab313e283a992698f6fc7afe62420999Anna Zaks  BugReporterContext(GRBugReporter& br) : BR(br) {}
4121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4138e6431adab313e283a992698f6fc7afe62420999Anna Zaks  virtual ~BugReporterContext() {}
4141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  GRBugReporter& getBugReporter() { return BR; }
4161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
41738b02b912e1a55c912f603c4369431264d36a381Zhongxing Xu  ExplodedGraph &getGraph() { return BR.getGraph(); }
4181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4198966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  void addNotableSymbol(SymbolRef Sym) {
4208966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    // FIXME: For now forward to GRBugReporter.
4218966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    BR.addNotableSymbol(Sym);
4228966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
4231eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4248966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  bool isNotable(SymbolRef Sym) const {
4258966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    // FIXME: For now forward to GRBugReporter.
4268966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    return BR.isNotable(Sym);
4278966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
4281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
42918c66fdc3c4008d335885695fe36fb5353c5f672Ted Kremenek  ProgramStateManager& getStateManager() {
4308966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    return BR.getStateManager();
4318966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
4321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
433c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek  SValBuilder& getSValBuilder() {
434c8413fd03f73084a5c93028f8b4db619fc388087Ted Kremenek    return getStateManager().getSValBuilder();
435dd986cc9989f665370cef0917ba8ba3b4871e3e6Ted Kremenek  }
4361eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4379c378f705405d37f49795d5e915989de774fe11fTed Kremenek  ASTContext &getASTContext() {
4388966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    return BR.getContext();
4398966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
4401eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4418966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  SourceManager& getSourceManager() {
4428966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek    return BR.getSourceManager();
4438966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek  }
4441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  virtual BugReport::NodeResolver& getNodeResolver() = 0;
4468966bc1c8ce271c09936c0eaf6c841aef4a0af1bTed Kremenek};
447e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek
4485350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek//===----------------------------------------------------------------------===//
4495350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek//===----------------------------------------------------------------------===//
4501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4515350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremeneknamespace bugreporter {
4521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
453c5619d901a68dc27a9e310a6a831f03efebcd950Zhongxing Xuconst Stmt *GetDerefExpr(const ExplodedNode *N);
454c5619d901a68dc27a9e310a6a831f03efebcd950Zhongxing Xuconst Stmt *GetDenomExpr(const ExplodedNode *N);
455c5619d901a68dc27a9e310a6a831f03efebcd950Zhongxing Xuconst Stmt *GetCalleeExpr(const ExplodedNode *N);
456c5619d901a68dc27a9e310a6a831f03efebcd950Zhongxing Xuconst Stmt *GetRetValExpr(const ExplodedNode *N);
4575350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek
4588e6431adab313e283a992698f6fc7afe62420999Anna Zaksvoid registerConditionVisitor(BugReport &BR);
459993124ecdd44ec1430a3b7f01b22f65bbaadb586Ted Kremenek
4608e6431adab313e283a992698f6fc7afe62420999Anna Zaksvoid registerTrackNullOrUndefValue(BugReport &BR, const void *stmt);
4615350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek
4628e6431adab313e283a992698f6fc7afe62420999Anna Zaksvoid registerFindLastStore(BugReport &BR, const void *memregion);
46394fd0b8c88db9b1cd99457d3cd8cd333341dd39cTed Kremenek
4648e6431adab313e283a992698f6fc7afe62420999Anna Zaksvoid registerNilReceiverVisitor(BugReport &BR);
46594fd0b8c88db9b1cd99457d3cd8cd333341dd39cTed Kremenek
4668e6431adab313e283a992698f6fc7afe62420999Anna Zaksvoid registerVarDeclsLastStore(BugReport &BR, const void *stmt);
4672bbbe50dbaa0bf231c16333b335304655deeb26bTom Care
4685350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek} // end namespace clang::bugreporter
4691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4705350066e7b19d17a5b137caa6c039ab9626dbfa5Ted Kremenek//===----------------------------------------------------------------------===//
471e207558e9dbed963eebf5cf31fdb02616f1545a3Ted Kremenek
4725a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis} // end GR namespace
4735a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis
47461f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek} // end clang namespace
47561f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek
47661f3e058056ab519d249aa67e3d52b0ead57c63eTed Kremenek#endif
477