Home
last modified time | relevance | path

Searched refs:BugType (Results 1 – 25 of 93) sorted by relevance

1234

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCallAndMessageChecker.cpp36 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 …]
H A DPthreadLockChecker.cpp204 void reportBug(CheckerContext &C, std::unique_ptr<BugType> BT[],
260 mutable std::unique_ptr<BugType> BT_doublelock[CK_NumCheckKinds];
261 mutable std::unique_ptr<BugType> BT_doubleunlock[CK_NumCheckKinds];
262 mutable std::unique_ptr<BugType> BT_destroylock[CK_NumCheckKinds];
263 mutable std::unique_ptr<BugType> BT_initlock[CK_NumCheckKinds];
264 mutable std::unique_ptr<BugType> BT_lor[CK_NumCheckKinds];
270 new BugType{CheckNames[CheckKind], "Double locking", "Lock checker"}); in initBugType()
272 new BugType{CheckNames[CheckKind], "Double unlocking", "Lock checker"}); in initBugType()
273 BT_destroylock[CheckKind].reset(new BugType{ in initBugType()
275 BT_initlock[CheckKind].reset(new BugType{ in initBugType()
[all …]
H A DStackAddrEscapeChecker.cpp33 mutable std::unique_ptr<BugType> BT_stackleak;
34 mutable std::unique_ptr<BugType> BT_returnstack;
35 mutable std::unique_ptr<BugType> BT_capturedstackasync;
36 mutable std::unique_ptr<BugType> BT_capturedstackret;
157 BT_returnstack = std::make_unique<BugType>( in EmitStackError()
197 BT_capturedstackasync = std::make_unique<BugType>( in checkAsyncExecutedBlockCaptures()
221 BT_capturedstackret = std::make_unique<BugType>( in checkReturnedBlockCaptures()
368 std::make_unique<BugType>(CheckNames[CK_StackAddrEscapeChecker], in checkEndFunction()
H A DSmartPtrChecker.cpp33 static const BugType *NullDereferenceBugTypePtr;
38 BugType NullDereferenceBugType{this, "Null SmartPtr dereference",
54 const BugType *getNullDereferenceBugType() { return NullDereferenceBugTypePtr; } in getNullDereferenceBugType()
H A DReturnUndefChecker.cpp27 const BugType BT_Undef{this, "Garbage return value"};
28 const BugType BT_NullReference{this, "Returning null reference"};
80 static void emitBug(CheckerContext &C, const BugType &BT, StringRef Msg, in emitBug()
H A DNSErrorChecker.cpp146 class NSErrorDerefBug : public BugType {
149 : BugType(Checker, "NSError** null dereference", in NSErrorDerefBug()
153 class CFErrorDerefBug : public BugType {
156 : BugType(Checker, "CFErrorRef* null dereference", in CFErrorDerefBug()
277 BugType *bug = nullptr; in checkEvent()
H A DVirtualCallChecker.cpp46 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()
H A DDeadStoresChecker.cpp212 const char *BugType = nullptr; in Report() local
218 BugType = "Dead initialization"; in Report()
242 BugType = "Dead increment"; in Report()
245 if (!BugType) BugType = "Dead assignment"; in Report()
253 BugType = "Dead nested assignment"; in Report()
261 BR.EmitBasicReport(AC->getDecl(), Checker, BugType, categories::UnusedCode, in Report()
H A DUnixAPIChecker.cpp47 const BugType BT_open{this, "Improper use of 'open'", categories::UnixAPI};
48 const BugType BT_getline{this, "Improper use of getdelim",
50 const BugType BT_pthreadOnce{this, "Improper use of 'pthread_once'",
52 const BugType BT_ArgumentNull{this, "NULL pointer", categories::UnixAPI};
58 std::optional<std::reference_wrapper<const BugType>> BT =
88 const BugType BT_mallocZero{
116 std::optional<std::reference_wrapper<const BugType>> BT) const { in EnsurePtrNotNull()
H A DObjCAtSyncChecker.cpp28 const BugType BT_null{this, "Nil value used as mutex for @synchronized() "
30 const BugType BT_undef{this, "Uninitialized value used as mutex "
H A DDereferenceChecker.cpp36 BugType BT_Null{this, "Dereference of null pointer", categories::LogicError};
37 BugType BT_Undef{this, "Dereference of undefined pointer value",
39 BugType BT_Label{this, "Dereference of the address of a label",
158 const BugType *BT = nullptr; in reportBug()
H A DDivZeroChecker.cpp29 const BugType BT{this, "Division by zero"};
30 const BugType TaintBT{this, "Division by zero", categories::TaintedData};
H A DFuchsiaHandleChecker.cpp190 BugType LeakBugType{this, "Fuchsia handle leak", "Fuchsia Handle Error",
192 BugType DoubleReleaseBugType{this, "Fuchsia handle double release",
194 BugType UseAfterReleaseBugType{this, "Fuchsia handle use after release",
196 BugType ReleaseUnownedBugType{
223 const SourceRange *Range, const BugType &Type,
648 const BugType &Type, StringRef Msg) const { in reportBug()
H A DSmartPtr.h31 const BugType *getNullDereferenceBugType();
H A DCloneChecker.cpp38 const BugType BT_Exact{this, "Exact code clone", "Code clone"};
39 const BugType BT_Suspicious{this, "Suspicious code clone", "Code clone"};
H A DBitwiseShiftChecker.cpp57 const BugType &BT;
68 const BugType &B, bool P) in BitwiseShiftValidator()
347 BugType BT{this, "Bitwise shift", "Suspicious operation"};
H A DSimpleStreamChecker.cpp58 const BugType DoubleCloseBugType{this, "Double fclose",
60 const BugType LeakBugType{this, "Resource Leak", "Unix Stream API Error",
H A DCXXDeleteChecker.cpp69 const BugType BT{
79 const BugType BT{this,
H A DMallocChecker.cpp360 mutable std::unique_ptr<BugType> BT_DoubleFree[CK_NumCheckKinds];
361 mutable std::unique_ptr<BugType> BT_DoubleDelete;
362 mutable std::unique_ptr<BugType> BT_Leak[CK_NumCheckKinds];
363 mutable std::unique_ptr<BugType> BT_UseFree[CK_NumCheckKinds];
364 mutable std::unique_ptr<BugType> BT_BadFree[CK_NumCheckKinds];
365 mutable std::unique_ptr<BugType> BT_FreeAlloca[CK_NumCheckKinds];
366 mutable std::unique_ptr<BugType> BT_MismatchedDealloc;
367 mutable std::unique_ptr<BugType> BT_OffsetFree[CK_NumCheckKinds];
368 mutable std::unique_ptr<BugType> BT_UseZerroAllocated[CK_NumCheckKinds];
369 mutable std::unique_ptr<BugType> BT_TaintedAlloc;
[all …]
H A DTaintTesterChecker.cpp26 const BugType BT{this, "Tainted data", "General"};
H A DErrnoChecker.cpp57 BugType BT_InvalidErrnoRead{this, "Value of 'errno' could be undefined",
59 BugType BT_ErrnoNotChecked{this, "Value of 'errno' was not checked",
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugType.h27 class BugType {
38 BugType(CheckerNameRef CheckerName, StringRef Desc,
42 BugType(const CheckerBase *Checker, StringRef Desc,
46 virtual ~BugType() = default;
H A DBugReporter.h57 class BugType; variable
128 const BugType& BT;
136 BugReport(Kind kind, const BugType &bt, StringRef desc) in BugReport()
139 BugReport(Kind K, const BugType &BT, StringRef ShortDescription, in BugReport()
149 const BugType& getBugType() const { return BT; } in getBugType()
256 BasicBugReport(const BugType &bt, StringRef desc, PathDiagnosticLocation l) in BasicBugReport()
369 PathSensitiveBugReport(const BugType &bt, StringRef desc, in PathSensitiveBugReport()
373 PathSensitiveBugReport(const BugType &bt, StringRef shortDesc, StringRef desc, in PathSensitiveBugReport()
386 PathSensitiveBugReport(const BugType &bt, StringRef desc, in PathSensitiveBugReport()
393 PathSensitiveBugReport(const BugType &bt, StringRef shortDesc, StringRef desc,
[all …]
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.h71 const BugType UnmatchedWaitBugType;
72 const BugType MissingWaitBugType;
73 const BugType DoubleNonblockingBugType;
/src/contrib/llvm-project/clang/lib/Analysis/plugins/SampleAnalyzer/
H A DMainCallChecker.cpp11 mutable std::unique_ptr<BugType> BT;
37 BT.reset(new BugType(this, "call to main", "example analyzer plugin")); in checkPreStmt()

1234