| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugType.h | 29 class BugType {
40 BugType(CheckerNameRef CheckerName, StringRef Name, StringRef Cat,
44 BugType(const CheckerBase *Checker, StringRef Name, StringRef Cat,
48 virtual ~BugType() = default;
69 class BuiltinBug : public BugType {
75 : BugType(checker, name, categories::LogicError), desc(description) {} in BuiltinBug()
79 : BugType(checker, name, categories::LogicError), desc(description) {} in BuiltinBug()
82 : BugType(checker, name, categories::LogicError), desc(name) {} in BuiltinBug()
85 : BugType(checker, name, categories::LogicError), desc(name) {} in BuiltinBug()
|
| D | BugReporter.h | 58 class BugType; variable
130 const BugType& BT;
138 BugReport(Kind kind, const BugType &bt, StringRef desc) in BugReport()
141 BugReport(Kind K, const BugType &BT, StringRef ShortDescription, in BugReport()
151 const BugType& getBugType() const { return BT; } in getBugType()
258 BasicBugReport(const BugType &bt, StringRef desc, PathDiagnosticLocation l) in BasicBugReport()
371 PathSensitiveBugReport(const BugType &bt, StringRef desc, in PathSensitiveBugReport()
375 PathSensitiveBugReport(const BugType &bt, StringRef shortDesc, StringRef desc, in PathSensitiveBugReport()
388 PathSensitiveBugReport(const BugType &bt, StringRef desc, in PathSensitiveBugReport()
395 PathSensitiveBugReport(const BugType &bt, StringRef shortDesc, StringRef desc,
[all …]
|
| /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 | 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 | 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()
|
| /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/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIBugReporter.h | 28 UnmatchedWaitBugType.reset(new BugType(&CB, "Unmatched wait", MPIError)); in MPIBugReporter()
30 new BugType(&CB, "Double nonblocking", MPIError)); in MPIBugReporter()
31 MissingWaitBugType.reset(new BugType(&CB, "Missing wait", MPIError)); in MPIBugReporter()
74 std::unique_ptr<BugType> UnmatchedWaitBugType;
75 std::unique_ptr<BugType> MissingWaitBugType;
76 std::unique_ptr<BugType> DoubleNonblockingBugType;
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | CallAndMessageChecker.cpp | 36 mutable std::unique_ptr<BugType> BT_call_null;
37 mutable std::unique_ptr<BugType> BT_call_undef;
38 mutable std::unique_ptr<BugType> BT_cxx_call_null;
39 mutable std::unique_ptr<BugType> BT_cxx_call_undef;
40 mutable std::unique_ptr<BugType> BT_call_arg;
41 mutable std::unique_ptr<BugType> BT_cxx_delete_undef;
42 mutable std::unique_ptr<BugType> BT_msg_undef;
43 mutable std::unique_ptr<BugType> BT_objc_prop_undef;
44 mutable std::unique_ptr<BugType> BT_objc_subscript_undef;
45 mutable std::unique_ptr<BugType> BT_msg_arg;
[all …]
|
| D | SmartPtrChecker.cpp | 33 static const BugType *NullDereferenceBugTypePtr;
38 BugType NullDereferenceBugType{this, "Null SmartPtr dereference",
54 const BugType *getNullDereferenceBugType() { return NullDereferenceBugTypePtr; } in getNullDereferenceBugType()
|
| D | PthreadLockChecker.cpp | 170 void reportBug(CheckerContext &C, std::unique_ptr<BugType> BT[],
226 mutable std::unique_ptr<BugType> BT_doublelock[CK_NumCheckKinds];
227 mutable std::unique_ptr<BugType> BT_doubleunlock[CK_NumCheckKinds];
228 mutable std::unique_ptr<BugType> BT_destroylock[CK_NumCheckKinds];
229 mutable std::unique_ptr<BugType> BT_initlock[CK_NumCheckKinds];
230 mutable std::unique_ptr<BugType> BT_lor[CK_NumCheckKinds];
236 new BugType{CheckNames[CheckKind], "Double locking", "Lock checker"}); in initBugType()
238 new BugType{CheckNames[CheckKind], "Double unlocking", "Lock checker"}); in initBugType()
239 BT_destroylock[CheckKind].reset(new BugType{ in initBugType()
241 BT_initlock[CheckKind].reset(new BugType{ in initBugType()
[all …]
|
| D | NSErrorChecker.cpp | 145 class NSErrorDerefBug : public BugType {
148 : BugType(Checker, "NSError** null dereference", in NSErrorDerefBug()
152 class CFErrorDerefBug : public BugType {
155 : BugType(Checker, "CFErrorRef* null dereference", in CFErrorDerefBug()
276 BugType *bug = nullptr; in checkEvent()
|
| D | VirtualCallChecker.cpp | 46 mutable std::unique_ptr<BugType> BT_Pure, BT_Impure;
144 const std::unique_ptr<BugType> &BT = IsPure ? BT_Pure : BT_Impure; in checkPreCall()
210 Chk->BT_Pure = std::make_unique<BugType>(Mgr.getCurrentCheckerName(), in registerPureVirtualCallChecker()
219 Chk->BT_Impure = std::make_unique<BugType>( in registerVirtualCallChecker()
|
| D | TaintTesterChecker.cpp | 27 mutable std::unique_ptr<BugType> BT;
43 BT.reset(new BugType(this, "Tainted data", "General")); in initBugType()
|
| D | DeadStoresChecker.cpp | 214 const char *BugType = nullptr; in Report() local
220 BugType = "Dead initialization"; in Report()
244 BugType = "Dead increment"; in Report()
247 if (!BugType) BugType = "Dead assignment"; in Report()
255 BugType = "Dead nested assignment"; in Report()
263 BR.EmitBasicReport(AC->getDecl(), Checker, BugType, "Dead store", os.str(), in Report()
|
| D | NSAutoreleasePoolChecker.cpp | 34 mutable std::unique_ptr<BugType> BT;
61 BT.reset(new BugType(this, "Use -drain instead of -release", in checkPreObjCMessage()
|
| D | SimpleStreamChecker.cpp | 56 std::unique_ptr<BugType> DoubleCloseBugType;
57 std::unique_ptr<BugType> LeakBugType;
109 new BugType(this, "Double fclose", "Unix Stream API Error")); in SimpleStreamChecker()
113 new BugType(this, "Resource Leak", "Unix Stream API Error", in SimpleStreamChecker()
|
| /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/llvm-project/clang/lib/Analysis/plugins/SampleAnalyzer/ |
| D | MainCallChecker.cpp | 11 mutable std::unique_ptr<BugType> BT;
37 BT.reset(new BugType(this, "call to main", "example analyzer plugin")); in checkPreStmt()
|
| /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()
|