| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MismatchedIteratorChecker.cpp | 285 R->markInteresting(Val1); in reportBug()
286 R->markInteresting(Val2); in reportBug()
296 R->markInteresting(Val); in reportBug()
297 R->markInteresting(Reg); in reportBug()
|
| H A D | MacOSKeychainAPIChecker.cpp | 122 void markInteresting(PathSensitiveBugReport *R, in markInteresting() function in __anonc0aa0fcc0111::MacOSKeychainAPIChecker
124 R->markInteresting(AP.first); in markInteresting()
125 R->markInteresting(AP.second->Region); in markInteresting()
244 markInteresting(Report.get(), AP); in generateDeallocatorMismatchReport()
289 Report->markInteresting(AS->Region); in checkPreStmt()
344 Report->markInteresting(AS->Region); in checkPreStmt()
498 markInteresting(Report.get(), AP); in generateAllocatedDataNotReleasedReport()
|
| H A D | ErrnoChecker.cpp | 128 BR->markInteresting(ErrnoRegion); in generateErrnoNotCheckedBug()
155 BR->markInteresting(ErrnoLoc->getAsRegion()); in checkLocation()
|
| H A D | SimpleStreamChecker.cpp | 199 R->markInteresting(FileDescSym); in reportDoubleClose()
212 R->markInteresting(LeakedStream); in reportLeaks()
|
| H A D | SmartPtrChecker.cpp | 89 R->markInteresting(DerefRegion); in reportBug()
|
| H A D | PointerArithChecker.cpp | 179 R->markInteresting(ArrayRegion); in reportPointerArithMisuse()
202 R->markInteresting(Region); in reportPointerArithMisuse()
|
| H A D | DeleteWithNonVirtualDtorChecker.cpp | 100 R->markInteresting(BaseClassRegion); in checkPreStmt()
|
| H A D | DebugContainerModeling.cpp | 104 BR.markInteresting(Cont); in analyzerContainerDataField()
|
| H A D | IteratorRangeChecker.cpp | 287 R->markInteresting(Val); in reportBug()
288 R->markInteresting(Pos->getContainer()); in reportBug()
|
| H A D | InvalidatedIteratorChecker.cpp | 134 R->markInteresting(Val); in reportBug()
|
| H A D | BlockInCriticalSectionChecker.cpp | 161 R->markInteresting(BlockDescSym); in reportBlockInCritSection()
|
| H A D | ValistChecker.cpp | 260 R->markInteresting(VAList); in reportUninitializedAccess()
303 R->markInteresting(Reg); in reportLeakedVALists()
|
| H A D | MallocChecker.cpp | 2252 R->markInteresting(MR); in HandleNonHeapDealloc()
2336 R->markInteresting(Sym); in HandleMismatchedDealloc()
2396 R->markInteresting(MR->getBaseRegion()); in HandleOffsetFree()
2429 R->markInteresting(Sym); in HandleUseAfterFree()
2464 R->markInteresting(Sym); in HandleDoubleFree()
2466 R->markInteresting(PrevSym); in HandleDoubleFree()
2492 R->markInteresting(Sym); in HandleDoubleDelete()
2523 R->markInteresting(Sym); in HandleUseZeroAlloc()
2563 R->markInteresting(MR); in HandleFunctionPtrFree()
2794 R->markInteresting(Sym); in HandleLeak()
[all …]
|
| H A D | DynamicTypeChecker.cpp | 85 R->markInteresting(Reg); in reportTypeError()
|
| H A D | SmartPtrModeling.cpp | 697 BR.markInteresting(SecondThisRegion); in handleSwap()
702 BR.markInteresting(FirstThisRegion); in handleSwap()
806 BR.markInteresting(OtherSmartPtrRegion); in updateMovedSmartPointers()
|
| H A D | StreamChecker.cpp | 1007 R->markInteresting(StreamSym); in reportFEofWarning()
1046 R->markInteresting(LeakSym); in reportLeaks()
|
| H A D | ExprInspectionChecker.cpp | 182 R->markInteresting(*ExprVal); in reportBug()
|
| H A D | FuchsiaHandleChecker.cpp | 669 R->markInteresting(Sym); in reportBug()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIBugReporter.cpp | 44 Report->markInteresting(RequestRegion); in reportDoubleNonblocking()
64 Report->markInteresting(RequestRegion); in reportMissingWait()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 430 void markInteresting(SymbolRef sym, bugreporter::TrackingKind TKind =
438 void markInteresting(
447 void markInteresting(SVal V, bugreporter::TrackingKind TKind =
449 void markInteresting(const LocationContext *LC);
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 221 Report->markInteresting(InvalidatedSymbolicBase); in checkPostCall()
264 Report->markInteresting(InvalidatedSymbolicBase); in checkLocation()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | BugReportInterestingnessTest.cpp | 68 BR.markInteresting(Sym); in handleInteresting()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 754 BR.markInteresting(Sym); in getEndPath()
765 BR.markInteresting(Sym); in getEndPath()
891 markInteresting(AllocI.InterestingMethodContext); in deriveAllocLocation()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporter.cpp | 2253 void PathSensitiveBugReport::markInteresting(SymbolRef sym, in markInteresting() function in PathSensitiveBugReport
2263 markInteresting(meta->getRegion(), TKind); in markInteresting()
2278 void PathSensitiveBugReport::markInteresting(const MemRegion *R, in markInteresting() function in PathSensitiveBugReport
2287 markInteresting(SR->getSymbol(), TKind); in markInteresting()
2301 void PathSensitiveBugReport::markInteresting(SVal V, in markInteresting() function in PathSensitiveBugReport
2303 markInteresting(V.getAsRegion(), TKind); in markInteresting()
2304 markInteresting(V.getAsSymbol(), TKind); in markInteresting()
2307 void PathSensitiveBugReport::markInteresting(const LocationContext *LC) { in markInteresting() function in PathSensitiveBugReport
|
| H A D | BugReporterVisitors.cpp | 1114 BR.markInteresting(CalleeSFC); in visitNodeInitial()
2202 Report.markInteresting(V, Opts.Kind); in handle()
2370 Report.markInteresting(RegionRVal, Opts.Kind); in handle()
3235 BR.markInteresting(CEnter->getCalleeContext()); in VisitNode()
|