Home
last modified time | relevance | path

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

123

/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugType.h27 class BugType {
38 BugType(CheckerNameRef CheckerName, StringRef Name, StringRef Cat,
42 BugType(const CheckerBase *Checker, StringRef Name, StringRef Cat,
46 virtual ~BugType() = default;
67 class BuiltinBug : public BugType {
73 : BugType(checker, name, categories::LogicError), desc(description) {} in BuiltinBug()
77 : BugType(checker, name, categories::LogicError), desc(description) {} in BuiltinBug()
80 : BugType(checker, name, categories::LogicError), desc(name) {} in BuiltinBug()
83 : BugType(checker, name, categories::LogicError), desc(name) {} in BuiltinBug()
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 …]
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.h28 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;
/openbsd-src/gnu/llvm/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 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()
239 new BugType{CheckNames[CheckKind], "Double unlocking", "Lock checker"}); in initBugType()
240 BT_destroylock[CheckKind].reset(new BugType{ in initBugType()
242 BT_initlock[CheckKind].reset(new BugType{ in initBugType()
[all …]
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 DTaintTesterChecker.cpp26 std::unique_ptr<BugType> BT =
27 std::make_unique<BugType>(this, "Tainted data", "General");
H A DSimpleStreamChecker.cpp57 std::unique_ptr<BugType> DoubleCloseBugType;
58 std::unique_ptr<BugType> LeakBugType;
96 new BugType(this, "Double fclose", "Unix Stream API Error"));
100 new BugType(this, "Resource Leak", "Unix Stream API Error",
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 DNSAutoreleasePoolChecker.cpp34 mutable std::unique_ptr<BugType> BT;
61 BT.reset(new BugType(this, "Use -drain instead of -release", in checkPreObjCMessage()
H A DMmapWriteExecChecker.cpp34 mutable std::unique_ptr<BugType> BT;
64 BT.reset(new BugType(this, "W^X check fails, Write Exec prot flags set", "Security")); in checkPreCall()
H A DCloneChecker.cpp38 mutable std::unique_ptr<BugType> BT_Exact, BT_Suspicious;
112 BT_Exact.reset(new BugType(this, "Exact code clone", "Code clone")); in reportClones()
159 new BugType(this, "Suspicious code clone", "Code clone")); in reportSuspiciousClones()
H A DDeleteWithNonVirtualDtorChecker.cpp39 mutable std::unique_ptr<BugType> BT;
89 BT.reset(new BugType(this, in checkPreStmt()
H A DNonNullParamChecker.cpp34 mutable std::unique_ptr<BugType> BTAttrNonNull;
35 mutable std::unique_ptr<BugType> BTNullRefArg;
285 BTAttrNonNull.reset(new BugType( in genReportNullAttrNonNull()
H A DDebugContainerModeling.cpp31 std::unique_ptr<BugType> DebugMsgBugType;
60 new BugType(this, "Checking analyzer assumptions", "debug", in DebugContainerModeling()
H A DMacOSXAPIChecker.cpp34 mutable std::unique_ptr<BugType> BT_dispatchOnce;
140 BT_dispatchOnce.reset(new BugType(this, "Improper use of 'dispatch_once'", in CheckDispatchOnce()
H A DUnixAPIChecker.cpp42 mutable std::unique_ptr<BugType> BT_open, BT_pthreadOnce;
67 mutable std::unique_ptr<BugType> BT_mallocZero;
91 std::unique_ptr<BugType> &BT, in LazyInitialize()
95 BT.reset(new BugType(Checker, name, categories::UnixAPI)); in LazyInitialize()
H A DDebugIteratorModeling.cpp31 std::unique_ptr<BugType> DebugMsgBugType;
63 new BugType(this, "Checking analyzer assumptions", "debug", in DebugIteratorModeling()
H A DInvalidatedIteratorChecker.cpp34 std::unique_ptr<BugType> InvalidatedBugType;
54 new BugType(this, "Iterator invalidated", "Misuse of STL APIs")); in InvalidatedIteratorChecker()
H A DBlockInCriticalSectionChecker.cpp41 std::unique_ptr<BugType> BlockInCritSectionBugType;
78 new BugType(this, "Call to blocking function in critical section",
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()
/openbsd-src/gnu/llvm/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()

123