Home
last modified time | relevance | path

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

1234

/freebsd-14.2/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;
40 mutable std::unique_ptr<BugType> BT_call_arg;
42 mutable std::unique_ptr<BugType> BT_msg_undef;
45 mutable std::unique_ptr<BugType> BT_msg_arg;
46 mutable std::unique_ptr<BugType> BT_msg_ret;
381 BT_call_undef.reset(new BugType( in checkFunctionPointerCall()
397 BT_call_null.reset(new BugType( in checkFunctionPointerCall()
452 BT_cxx_call_undef.reset(new BugType( in checkCXXMethodCall()
521 std::unique_ptr<BugType> *BT; in checkArgInitializedness()
[all …]
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 DPthreadLockChecker.cpp171 void reportBug(CheckerContext &C, std::unique_ptr<BugType> BT[],
227 mutable std::unique_ptr<BugType> BT_doublelock[CK_NumCheckKinds];
228 mutable std::unique_ptr<BugType> BT_doubleunlock[CK_NumCheckKinds];
229 mutable std::unique_ptr<BugType> BT_destroylock[CK_NumCheckKinds];
230 mutable std::unique_ptr<BugType> BT_initlock[CK_NumCheckKinds];
231 mutable std::unique_ptr<BugType> BT_lor[CK_NumCheckKinds];
237 new BugType{CheckNames[CheckKind], "Double locking", "Lock checker"}); in initBugType()
240 BT_destroylock[CheckKind].reset(new BugType{ in initBugType()
242 BT_initlock[CheckKind].reset(new BugType{ in initBugType()
244 BT_lor[CheckKind].reset(new BugType{CheckNames[CheckKind], 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 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 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 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 DDereferenceChecker.cpp36 BugType BT_Null{this, "Dereference of null pointer", categories::LogicError};
37 BugType BT_Undef{this, "Dereference of undefined pointer value",
156 const BugType *BT = nullptr; 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 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",
H A DFixedAddressChecker.cpp27 const BugType BT{this, "Use fixed address"};
H A DMallocChecker.cpp360 mutable std::unique_ptr<BugType> BT_DoubleDelete;
361 mutable std::unique_ptr<BugType> BT_Leak[CK_NumCheckKinds];
362 mutable std::unique_ptr<BugType> BT_UseFree[CK_NumCheckKinds];
363 mutable std::unique_ptr<BugType> BT_BadFree[CK_NumCheckKinds];
365 mutable std::unique_ptr<BugType> BT_MismatchedDealloc;
2222 BT_BadFree[*CheckKind].reset(new BugType( in HandleNonHeapDealloc()
2270 BT_FreeAlloca[*CheckKind].reset(new BugType( in HandleFreeAlloca()
2358 BT_OffsetFree[*CheckKind].reset(new BugType( in HandleOffsetFree()
2412 BT_UseFree[*CheckKind].reset(new BugType( in HandleUseAfterFree()
2451 BT_DoubleFree[*CheckKind].reset(new BugType( in HandleDoubleFree()
[all …]
/freebsd-14.2/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()
646 llvm::StringMap<std::unique_ptr<BugType>> StrBugTypes;
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.h71 const BugType UnmatchedWaitBugType;
72 const BugType MissingWaitBugType;
73 const BugType DoubleNonblockingBugType;
/freebsd-14.2/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