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