Home
last modified time | relevance | path

Searched refs:PathSensitiveBugReport (Results 1 – 25 of 95) sorted by relevance

1234

/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h41 class PathSensitiveBugReport; variable
74 PathSensitiveBugReport &BR) = 0;
80 PathSensitiveBugReport &BR);
89 PathSensitiveBugReport &BR);
96 const PathSensitiveBugReport &BR);
178 PathSensitiveBugReport &Report;
184 Tracker(PathSensitiveBugReport &Report);
189 static TrackerRef create(PathSensitiveBugReport &Report) { in create()
193 PathSensitiveBugReport &getReport() { return Report; } in getReport()
371 PathSensitiveBugReport &R, TrackingOptions Opts = {});
[all …]
H A DBugReporter.h289 class PathSensitiveBugReport : public BugReport {
369 PathSensitiveBugReport(const BugType &bt, StringRef desc, in PathSensitiveBugReport() function
371 : PathSensitiveBugReport(bt, desc, desc, errorNode) {} in PathSensitiveBugReport()
373 PathSensitiveBugReport(const BugType &bt, StringRef shortDesc, StringRef desc, in PathSensitiveBugReport() function
375 : PathSensitiveBugReport(bt, shortDesc, desc, errorNode, in PathSensitiveBugReport()
386 PathSensitiveBugReport(const BugType &bt, StringRef desc, in PathSensitiveBugReport() function
390 : PathSensitiveBugReport(bt, desc, desc, errorNode, LocationToUnique, in PathSensitiveBugReport()
393 PathSensitiveBugReport(const BugType &bt, StringRef shortDesc, StringRef desc,
710 ArrayRef<PathSensitiveBugReport *> &bugReports);
782 PathSensitiveBugReport &)>;
[all …]
H A DZ3CrosscheckVisitor.h38 PathSensitiveBugReport &BR) override;
41 PathSensitiveBugReport &BR) override;
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp33 auto Report = std::make_unique<PathSensitiveBugReport>( in reportDoubleNonblocking()
56 auto Report = std::make_unique<PathSensitiveBugReport>(MissingWaitBugType, in reportMissingWait()
76 auto Report = std::make_unique<PathSensitiveBugReport>(UnmatchedWaitBugType, in reportUnmatchedWait()
90 PathSensitiveBugReport &BR) { in VisitNode()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp150 const PathSensitiveBugReport *R,
225 const PathSensitiveBugReport *R;
238 findValidReport(ArrayRef<PathSensitiveBugReport *> &bugReports,
243 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode,
287 const PathSensitiveBugReport *getBugReport() const { return R; } in getBugReport()
436 const PathSensitiveBugReport *R, in removeUnneededCalls()
1347 generateEmptyDiagnosticForReport(const PathSensitiveBugReport *R, in generateEmptyDiagnosticForReport()
1991 const PathSensitiveBugReport *R, const Decl *AnalysisEntryPoint) in PathDiagnosticConstruct()
2001 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode, in PathDiagnosticBuilder()
2143 PathSensitiveBugReport::PathSensitiveBugReport( in PathSensitiveBugReport() function in PathSensitiveBugReport
[all …]
H A DBugReporterVisitors.cpp273 const PathSensitiveBugReport *B) { in isVarAnInterestingCondition()
289 const PathSensitiveBugReport *B) { in isInterestingExpr()
355 PathSensitiveBugReport &) { in getEndPath() argument
361 PathSensitiveBugReport &) {} in finalizeVisitor() argument
366 const PathSensitiveBugReport &BR) { in getDefaultEndPath()
471 const ExplodedNode *N, BugReporterContext &BR, PathSensitiveBugReport &R) { in VisitNode()
579 PathDiagnosticPieceRef maybeEmitNoteForObjCSelf(PathSensitiveBugReport &R,
583 PathDiagnosticPieceRef maybeEmitNoteForCXXThis(PathSensitiveBugReport &R,
588 maybeEmitNoteForParameters(PathSensitiveBugReport &R, const CallEvent &Call,
596 maybeEmitNote(PathSensitiveBugReport &R, const CallEvent &Call,
[all …]
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNonNullParamChecker.cpp43 std::unique_ptr<PathSensitiveBugReport>
46 std::unique_ptr<PathSensitiveBugReport>
279 std::unique_ptr<PathSensitiveBugReport>
290 std::make_unique<PathSensitiveBugReport>(BTAttrNonNull, SBuf, ErrorNode); in genReportNullAttrNonNull()
297 std::unique_ptr<PathSensitiveBugReport>
300 auto R = std::make_unique<PathSensitiveBugReport>( in genReportReferenceToNullPointer()
H A DNoOwnershipChangeVisitor.h40 PathDiagnosticPieceRef maybeEmitNoteForObjCSelf(PathSensitiveBugReport &R, in maybeEmitNoteForObjCSelf()
47 PathDiagnosticPieceRef maybeEmitNoteForCXXThis(PathSensitiveBugReport &R, in maybeEmitNoteForCXXThis()
56 maybeEmitNoteForParameters(PathSensitiveBugReport &R, const CallEvent &Call,
H A DMacOSKeychainAPIChecker.cpp113 std::unique_ptr<PathSensitiveBugReport>
119 void markInteresting(PathSensitiveBugReport *R, in markInteresting()
144 PathSensitiveBugReport &BR) override;
237 auto Report = std::make_unique<PathSensitiveBugReport>(BT, os.str(), N); in generateDeallocatorMismatchReport()
280 auto Report = std::make_unique<PathSensitiveBugReport>(BT, os.str(), N); in checkPreStmt()
333 auto Report = std::make_unique<PathSensitiveBugReport>( in checkPreStmt()
464 std::unique_ptr<PathSensitiveBugReport>
485 auto Report = std::make_unique<PathSensitiveBugReport>( in generateAllocatedDataNotReleasedReport()
614 PathSensitiveBugReport &BR) { in VisitNode()
H A DCXXDeleteChecker.cpp56 PathSensitiveBugReport &BR) override;
132 auto R = std::make_unique<PathSensitiveBugReport>(BT, BT.getDescription(), N); in checkTypedDeleteExpr()
175 auto R = std::make_unique<PathSensitiveBugReport>(BT, OS.str(), N); in checkTypedDeleteExpr()
186 PathSensitiveBugReport &BR) { in VisitNode()
H A DArrayBoundCheckerV2.cpp91 std::string getMessage(PathSensitiveBugReport &BR) const;
108 PathSensitiveBugReport &BR);
110 PathSensitiveBugReport &BR) { in providesInformationAboutInteresting()
138 static void markPartsInteresting(PathSensitiveBugReport &BR,
471 return C.getNoteTag([*this](PathSensitiveBugReport &BR) -> std::string { in createNoteTag()
476 std::string StateUpdateReporter::getMessage(PathSensitiveBugReport &BR) const { in getMessage()
533 SymbolRef Sym, PathSensitiveBugReport &BR) { in providesInformationAboutInteresting()
673 void ArrayBoundCheckerV2::markPartsInteresting(PathSensitiveBugReport &BR, in markPartsInteresting()
705 auto BR = std::make_unique<PathSensitiveBugReport>( in reportOOB()
H A DFuchsiaHandleChecker.cpp383 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall()
399 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall()
433 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall()
447 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall()
461 auto *PathBR = static_cast<PathSensitiveBugReport *>(&BR); in checkPostCall()
486 PathSensitiveBugReport &BR) -> std::string { in checkPostCall()
652 std::unique_ptr<PathSensitiveBugReport> R; in reportBug()
662 R = std::make_unique<PathSensitiveBugReport>( in reportBug()
668 R = std::make_unique<PathSensitiveBugReport>(Type, Msg, ErrorNode); in reportBug()
H A DObjCAtSyncChecker.cpp48 auto report = std::make_unique<PathSensitiveBugReport>( in checkPreStmt()
68 auto report = std::make_unique<PathSensitiveBugReport>( in checkPreStmt()
H A DCallAndMessageChecker.cpp141 auto R = std::make_unique<PathSensitiveBugReport>(*BT, BT->getDescription(), N); in emitBadCall()
224 auto R = std::make_unique<PathSensitiveBugReport>(*BT, Os.str(), N); in uninitRefOrPointer()
305 auto R = std::make_unique<PathSensitiveBugReport>(*BT, Os.str(), N); in PreVisitProcessArg()
352 auto R = std::make_unique<PathSensitiveBugReport>(*BT, os.str(), N); in PreVisitProcessArg()
438 std::make_unique<PathSensitiveBugReport>(*BT_call_few_args, os.str(), N)); in checkParameterCount()
503 std::make_unique<PathSensitiveBugReport>(*BT_cxx_delete_undef, Desc, N); in checkCXXDeallocation()
609 auto R = std::make_unique<PathSensitiveBugReport>(*BT, BT->getDescription(), N); in checkPreObjCMessage()
657 std::make_unique<PathSensitiveBugReport>(*BT_msg_ret, os.str(), N); in emitNilReceiverBug()
H A DCXXSelfAssignmentChecker.cpp56 C.getNoteTag([MD](PathSensitiveBugReport &BR) -> std::string { in checkBeginFunction()
66 C.getNoteTag([MD](PathSensitiveBugReport &BR) -> std::string { in checkBeginFunction()
H A DStringChecker.cpp80 const auto Callback = [Param](PathSensitiveBugReport &BR) -> std::string { in checkPreCall()
92 auto R = std::make_unique<PathSensitiveBugReport>( in checkPreCall()
H A DDynamicTypeChecker.cpp47 PathSensitiveBugReport &BR) override;
77 auto R = std::make_unique<PathSensitiveBugReport>( in reportTypeError()
86 const ExplodedNode *N, BugReporterContext &BRC, PathSensitiveBugReport &) { in VisitNode() argument
H A DSmartPtrModeling.cpp394 State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in evalCall()
411 ArgVal](PathSensitiveBugReport &BR, in evalCall()
614 State, C.getNoteTag([ThisRegion, TrackingExpr](PathSensitiveBugReport &BR, in handleReset()
650 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleRelease()
692 PathSensitiveBugReport &BR, in handleSwap()
755 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleAssignOp()
795 PathSensitiveBugReport &BR, llvm::raw_ostream &OS) { in updateMovedSmartPointers()
819 ThisRegion](PathSensitiveBugReport &BR, in updateMovedSmartPointers()
889 [ThisRegion](PathSensitiveBugReport &BR, in handleBoolConversion()
902 [ThisRegion](PathSensitiveBugReport &BR, llvm::raw_ostream &OS) { in handleBoolConversion()
H A DStackAddrEscapeChecker.cpp166 std::make_unique<PathSensitiveBugReport>(*BT_returnstack, os.str(), N); in EmitStackError()
204 auto Report = std::make_unique<PathSensitiveBugReport>( in checkAsyncExecutedBlockCaptures()
228 auto Report = std::make_unique<PathSensitiveBugReport>(*BT_capturedstackret, in checkReturnedBlockCaptures()
386 std::make_unique<PathSensitiveBugReport>(*BT_stackleak, Out.str(), N); in checkEndFunction()
416 std::make_unique<PathSensitiveBugReport>(*BT_stackleak, Out.str(), N); in checkEndFunction()
H A DValistChecker.cpp83 PathSensitiveBugReport &BR) override { in getEndPath()
94 PathSensitiveBugReport &BR) override;
257 auto R = std::make_unique<PathSensitiveBugReport>(*BT_uninitaccess, Msg, N); in reportUninitializedAccess()
298 auto R = std::make_unique<PathSensitiveBugReport>( in reportLeakedVALists()
378 const ExplodedNode *N, BugReporterContext &BRC, PathSensitiveBugReport &) { in VisitNode() argument
H A DObjCSuperDeallocChecker.cpp75 PathSensitiveBugReport &BR) override;
192 auto BR = std::make_unique<PathSensitiveBugReport>(DoubleSuperDeallocBugType, in reportUseAfterDealloc()
242 PathSensitiveBugReport &) { in VisitNode() argument
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h289 *getNoteTag(std::function<std::string(PathSensitiveBugReport &)> &&Cb,
293 PathSensitiveBugReport &BR) { return Cb(BR); },
307 PathSensitiveBugReport &) { return Cb(); },
320 PathSensitiveBugReport &) { return Note; },
332 std::function<void(PathSensitiveBugReport &BR, llvm::raw_ostream &OS)> &&Cb,
335 [Cb](PathSensitiveBugReport &BR) -> std::string {
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.h49 class RefCountReport : public PathSensitiveBugReport {
65 return PathSensitiveBugReport::getRanges(); in getRanges()
95 return PathSensitiveBugReport::getLocation(); in getEndOfPath()
H A DRetainCountDiagnostics.cpp327 PathSensitiveBugReport &BR) override;
331 PathSensitiveBugReport &BR) override;
341 PathSensitiveBugReport &BR) override;
454 PathSensitiveBugReport &BR) { in VisitNode()
755 PathSensitiveBugReport &BR) { in getEndPath()
763 PathSensitiveBugReport &BR) { in getEndPath()
839 : PathSensitiveBugReport(D, D.getDescription(), n), Sym(sym), in RefCountReport()
848 : PathSensitiveBugReport(D, D.getDescription(), endText, n) { in RefCountReport()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp130 PathSensitiveBugReport &BR, llvm::raw_ostream &Out) { in REGISTER_SET_WITH_PROGRAMSTATE()
193 Note = C.getNoteTag([this, PrevReg, FD](PathSensitiveBugReport &BR, in postPreviousReturnInvalidatingCall()
224 [this, MR](PathSensitiveBugReport &BR, llvm::raw_ostream &Out) { in postPreviousReturnInvalidatingCall()
304 auto Report = std::make_unique<PathSensitiveBugReport>( in checkPostCall()
347 auto Report = std::make_unique<PathSensitiveBugReport>( in checkLocation()

1234