| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MismatchedIteratorChecker.cpp | 274 R->markInteresting(Val1); in reportBug()
275 R->markInteresting(Val2); in reportBug()
285 R->markInteresting(Val); in reportBug()
286 R->markInteresting(Reg); in reportBug()
|
| H A D | MacOSKeychainAPIChecker.cpp | 119 void markInteresting(PathSensitiveBugReport *R, in markInteresting() function in __anonbc4deb310111::MacOSKeychainAPIChecker
121 R->markInteresting(AP.first); in markInteresting()
122 R->markInteresting(AP.second->Region); in markInteresting()
240 markInteresting(Report.get(), AP); in generateDeallocatorMismatchReport()
283 Report->markInteresting(AS->Region); in checkPreStmt()
337 Report->markInteresting(AS->Region); in checkPreStmt()
490 markInteresting(Report.get(), AP); in generateAllocatedDataNotReleasedReport()
|
| H A D | SimpleStreamChecker.cpp | 180 R->markInteresting(FileDescSym); in reportDoubleClose()
193 R->markInteresting(LeakedStream); in reportLeaks()
|
| H A D | CXXDeleteChecker.cpp | 135 R->markInteresting(BaseClassRegion); in checkTypedDeleteExpr()
178 R->markInteresting(BaseClassRegion); in checkTypedDeleteExpr()
|
| H A D | ErrnoChecker.cpp | 129 BR->markInteresting(ErrnoRegion); in generateErrnoNotCheckedBug()
156 BR->markInteresting(ErrnoLoc->getAsRegion()); in checkLocation()
|
| H A D | UndefinedNewArraySizeChecker.cpp | 65 R->markInteresting(ArgVal); in HandleUndefinedArrayElementCount()
|
| H A D | SmartPtrChecker.cpp | 89 R->markInteresting(DerefRegion); in reportBug()
|
| H A D | PointerArithChecker.cpp | 176 R->markInteresting(ArrayRegion); in reportPointerArithMisuse()
196 R->markInteresting(Region); in reportPointerArithMisuse()
|
| H A D | DivZeroChecker.cpp | 65 R->markInteresting(Sym); in reportTaintBug()
|
| H A D | DebugContainerModeling.cpp | 97 BR.markInteresting(Cont); in analyzerContainerDataField()
|
| H A D | IteratorRangeChecker.cpp | 286 R->markInteresting(Val); in reportBug()
287 R->markInteresting(Pos->getContainer()); in reportBug()
|
| H A D | MallocChecker.cpp | 1707 R->markInteresting(TaintedSym); in reportTaintBug()
2296 R->markInteresting(MR); in HandleNonHeapDealloc()
2324 R->markInteresting(ArgVal.getAsRegion()); in HandleFreeAlloca()
2380 R->markInteresting(Sym); in HandleMismatchedDealloc()
2440 R->markInteresting(MR->getBaseRegion()); in HandleOffsetFree()
2473 R->markInteresting(Sym); in HandleUseAfterFree()
2508 R->markInteresting(Sym); in HandleDoubleFree()
2510 R->markInteresting(PrevSym); in HandleDoubleFree()
2536 R->markInteresting(Sym); in HandleDoubleDelete()
2567 R->markInteresting(Sym); in HandleUseZeroAlloc()
[all …]
|
| H A D | InvalidatedIteratorChecker.cpp | 130 R->markInteresting(Val); in reportBug()
|
| H A D | ValistChecker.cpp | 258 R->markInteresting(VAList); in reportUninitializedAccess()
301 R->markInteresting(Reg); in reportLeakedVALists()
|
| H A D | SetgidSetuidOrderChecker.cpp | 185 Report->markInteresting(State->get<LastSetuidCallSVal>()); in emitReport()
|
| H A D | DynamicTypeChecker.cpp | 79 R->markInteresting(Reg); in reportTypeError()
|
| H A D | SmartPtrModeling.cpp | 698 BR.markInteresting(SecondThisRegion); in handleSwap()
703 BR.markInteresting(FirstThisRegion); in handleSwap()
807 BR.markInteresting(OtherSmartPtrRegion); in updateMovedSmartPointers()
|
| H A D | ArrayBoundCheckerV2.cpp | 683 BR.markInteresting(PartSym); in markPartsInteresting()
692 BR.markInteresting(Sym); in markPartsInteresting()
|
| H A D | VLASizeChecker.cpp | 229 report->markInteresting(Sym); in reportTaintBug()
|
| H A D | BlockInCriticalSectionChecker.cpp | 330 R->markInteresting(Call.getReturnValue()); in reportBlockInCritSection()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIBugReporter.cpp | 44 Report->markInteresting(RequestRegion); in reportDoubleNonblocking()
64 Report->markInteresting(RequestRegion); in reportMissingWait()
|
| /src/contrib/llvm-project/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);
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 306 Report->markInteresting(InvalidatedSymbolicBase); in checkPostCall()
349 Report->markInteresting(InvalidatedSymbolicBase); in checkLocation()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 756 BR.markInteresting(Sym); in getEndPath()
767 BR.markInteresting(Sym); in getEndPath()
890 markInteresting(AllocI.InterestingMethodContext); in deriveAllocLocation()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporter.cpp | 2265 void PathSensitiveBugReport::markInteresting(SymbolRef sym, in markInteresting() function in PathSensitiveBugReport
2275 markInteresting(meta->getRegion(), TKind); in markInteresting()
2290 void PathSensitiveBugReport::markInteresting(const MemRegion *R, in markInteresting() function in PathSensitiveBugReport
2299 markInteresting(SR->getSymbol(), TKind); in markInteresting()
2313 void PathSensitiveBugReport::markInteresting(SVal V, in markInteresting() function in PathSensitiveBugReport
2315 markInteresting(V.getAsRegion(), TKind); in markInteresting()
2316 markInteresting(V.getAsSymbol(), TKind); in markInteresting()
2319 void PathSensitiveBugReport::markInteresting(const LocationContext *LC) { in markInteresting() function in PathSensitiveBugReport
|