| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugType.h | 31 class BugType {
40 BugType(class CheckName check, StringRef name, StringRef cat) in BugType() function
42 BugType(const CheckerBase *checker, StringRef name, StringRef cat) in BugType() function
45 virtual ~BugType() {} in ~BugType()
61 class BuiltinBug : public BugType {
66 : BugType(check, name, categories::LogicError), desc(description) {} in BuiltinBug()
70 : BugType(checker, name, categories::LogicError), desc(description) {} in BuiltinBug()
73 : BugType(checker, name, categories::LogicError), desc(name) {} in BuiltinBug()
|
| D | BugReporter.h | 47 class BugType; variable
74 BugType& BT;
146 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode) in BugReport()
150 BugReport(BugType& bt, StringRef shortDesc, StringRef desc, in BugReport()
156 BugReport(BugType &bt, StringRef desc, PathDiagnosticLocation l) in BugReport()
167 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode, in BugReport()
177 const BugType& getBugType() const { return BT; } in getBugType()
178 BugType& getBugType() { return BT; } in getBugType()
393 typedef llvm::ImmutableSet<BugType*> BugTypesTy;
460 void Register(BugType *BT);
[all …]
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CallAndMessageChecker.cpp | 45 mutable std::unique_ptr<BugType> BT_call_null;
46 mutable std::unique_ptr<BugType> BT_call_undef;
47 mutable std::unique_ptr<BugType> BT_cxx_call_null;
48 mutable std::unique_ptr<BugType> BT_cxx_call_undef;
49 mutable std::unique_ptr<BugType> BT_call_arg;
50 mutable std::unique_ptr<BugType> BT_cxx_delete_undef;
51 mutable std::unique_ptr<BugType> BT_msg_undef;
52 mutable std::unique_ptr<BugType> BT_objc_prop_undef;
53 mutable std::unique_ptr<BugType> BT_objc_subscript_undef;
54 mutable std::unique_ptr<BugType> BT_msg_arg;
[all …]
|
| D | PthreadLockChecker.cpp | 53 mutable std::unique_ptr<BugType> BT_doublelock;
54 mutable std::unique_ptr<BugType> BT_doubleunlock;
55 mutable std::unique_ptr<BugType> BT_destroylock;
56 mutable std::unique_ptr<BugType> BT_initlock;
57 mutable std::unique_ptr<BugType> BT_lor;
143 BT_doublelock.reset(new BugType(this, "Double locking", in AcquireLock()
205 BT_doubleunlock.reset(new BugType(this, "Double unlocking", in ReleaseLock()
229 BT_lor.reset(new BugType(this, "Lock order reversal", "Lock checker")); in ReleaseLock()
273 BT_destroylock.reset(new BugType(this, "Destroy invalid lock", in DestroyLock()
308 BT_initlock.reset(new BugType(this, "Init invalid lock", in InitLock()
[all …]
|
| D | NSErrorChecker.cpp | 135 class NSErrorDerefBug : public BugType {
138 : BugType(Checker, "NSError** null dereference", in NSErrorDerefBug()
142 class CFErrorDerefBug : public BugType {
145 : BugType(Checker, "CFErrorRef* null dereference", in CFErrorDerefBug()
267 BugType *bug = nullptr; in checkEvent()
|
| D | DeadStoresChecker.cpp | 181 const char *BugType = nullptr; in Report() local
185 BugType = "Dead initialization"; in Report()
191 BugType = "Dead increment"; in Report()
193 if (!BugType) BugType = "Dead assignment"; in Report()
204 BR.EmitBasicReport(AC->getDecl(), Checker, BugType, "Dead store", os.str(), in Report()
|
| D | SimpleStreamChecker.cpp | 57 std::unique_ptr<BugType> DoubleCloseBugType;
58 std::unique_ptr<BugType> LeakBugType;
110 new BugType(this, "Double fclose", "Unix Stream API Error")); in SimpleStreamChecker()
113 new BugType(this, "Resource Leak", "Unix Stream API Error")); in SimpleStreamChecker()
|
| D | TaintTesterChecker.cpp | 25 mutable std::unique_ptr<BugType> BT;
41 BT.reset(new BugType(this, "Tainted data", "General")); in initBugType()
|
| D | NSAutoreleasePoolChecker.cpp | 35 mutable std::unique_ptr<BugType> BT;
62 BT.reset(new BugType(this, "Use -drain instead of -release", in checkPreObjCMessage()
|
| D | NonNullParamChecker.cpp | 32 mutable std::unique_ptr<BugType> BTAttrNonNull;
33 mutable std::unique_ptr<BugType> BTNullRefArg;
190 BTAttrNonNull.reset(new BugType( in genReportNullAttrNonNull()
|
| D | MacOSXAPIChecker.cpp | 34 mutable std::unique_ptr<BugType> BT_dispatchOnce;
70 BT_dispatchOnce.reset(new BugType(this, "Improper use of 'dispatch_once'", in CheckDispatchOnce()
|
| D | ObjCContainersChecker.cpp | 34 mutable std::unique_ptr<BugType> BT;
37 BT.reset(new BugType(this, "CFArray API", in initBugType()
|
| D | CheckObjCDealloc.cpp | 106 std::unique_ptr<BugType> MissingReleaseBugType;
107 std::unique_ptr<BugType> ExtraReleaseBugType;
108 std::unique_ptr<BugType> MistakenDeallocBugType;
761 new BugType(this, "Missing ivar release (leak)", in ObjCDeallocChecker()
765 new BugType(this, "Extra ivar release", in ObjCDeallocChecker()
769 new BugType(this, "Mistaken dealloc", in ObjCDeallocChecker()
|
| D | UnixAPIChecker.cpp | 33 mutable std::unique_ptr<BugType> BT_open, BT_pthreadOnce, BT_mallocZero;
60 void LazyInitialize(std::unique_ptr<BugType> &BT, const char *name) const { in LazyInitialize()
63 BT.reset(new BugType(this, name, categories::UnixAPI)); in LazyInitialize()
|
| D | MallocChecker.cpp | 227 mutable std::unique_ptr<BugType> BT_DoubleFree[CK_NumCheckKinds];
228 mutable std::unique_ptr<BugType> BT_DoubleDelete;
229 mutable std::unique_ptr<BugType> BT_Leak[CK_NumCheckKinds];
230 mutable std::unique_ptr<BugType> BT_UseFree[CK_NumCheckKinds];
231 mutable std::unique_ptr<BugType> BT_BadFree[CK_NumCheckKinds];
232 mutable std::unique_ptr<BugType> BT_FreeAlloca[CK_NumCheckKinds];
233 mutable std::unique_ptr<BugType> BT_MismatchedDealloc;
234 mutable std::unique_ptr<BugType> BT_OffsetFree[CK_NumCheckKinds];
235 mutable std::unique_ptr<BugType> BT_UseZerroAllocated[CK_NumCheckKinds];
1614 new BugType(CheckNames[*CheckKind], "Bad free", "Memory Error")); in ReportBadFree()
[all …]
|
| D | DebugCheckers.cpp | 223 mutable std::unique_ptr<BugType> BT;
227 BT.reset(new BugType(this, "Dump hash components", "debug")); in checkPostStmt()
|
| D | DynamicTypeChecker.cpp | 34 mutable std::unique_ptr<BugType> BT;
38 new BugType(this, "Dynamic and static type mismatch", "Type Error")); in initBugType()
|
| D | ExprInspectionChecker.cpp | 22 mutable std::unique_ptr<BugType> BT;
104 BT.reset(new BugType(this, "Checking analyzer assumptions", "debug")); in reportBug()
|
| D | ObjCSuperDeallocChecker.cpp | 34 std::unique_ptr<BugType> DoubleSuperDeallocBugType;
226 new BugType(this, "[super dealloc] should not be called more than once", in ObjCSuperDeallocChecker()
|
| D | UndefinedArraySubscriptChecker.cpp | 28 mutable std::unique_ptr<BugType> BT;
|
| D | PaddingChecker.cpp | 35 mutable std::unique_ptr<BugType> PaddingBug;
278 llvm::make_unique<BugType>(this, "Excessive Padding", "Performance"); in reportRecord()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIBugReporter.h | 29 UnmatchedWaitBugType.reset(new BugType(&CB, "Unmatched wait", MPIError)); in MPIBugReporter()
31 new BugType(&CB, "Double nonblocking", MPIError)); in MPIBugReporter()
32 MissingWaitBugType.reset(new BugType(&CB, "Missing wait", MPIError)); in MPIBugReporter()
77 std::unique_ptr<BugType> UnmatchedWaitBugType;
78 std::unique_ptr<BugType> MissingWaitBugType;
79 std::unique_ptr<BugType> DoubleNonblockingBugType;
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | IssueHash.cpp | 179 StringRef CheckerName, StringRef BugType, in GetIssueString() argument
187 NormalizeLine(SM, IssueLoc, LangOpts) + Delimiter + BugType) in GetIssueString()
193 StringRef CheckerName, StringRef BugType, in GetIssueHash() argument
198 GetIssueString(SM, IssueLoc, CheckerName, BugType, D, LangOpts)); in GetIssueHash()
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | IssueHash.h | 41 llvm::StringRef BugType, const Decl *D,
47 llvm::StringRef CheckerName, llvm::StringRef BugType,
|
| /external/clang/examples/analyzer-plugin/ |
| D | MainCallChecker.cpp | 11 mutable std::unique_ptr<BugType> BT;
38 BT.reset(new BugType(this, "call to main", "example analyzer plugin")); in checkPreStmt()
|