| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CloneChecker.cpp | 42 void checkASTCodeBody(const Decl *D, AnalysisManager &Mgr,
46 AnalysisManager &Mgr, BugReporter &BR) const;
49 void reportClones(BugReporter &BR, AnalysisManager &Mgr,
55 BugReporter &BR, AnalysisManager &Mgr,
60 void CloneChecker::checkASTCodeBody(const Decl *D, AnalysisManager &Mgr, in checkASTCodeBody() argument
68 AnalysisManager &Mgr, in checkEndOfTranslationUnit() argument
84 reportSuspiciousClones(BR, Mgr, AllCloneGroups); in checkEndOfTranslationUnit()
97 reportClones(BR, Mgr, AllCloneGroups); in checkEndOfTranslationUnit()
101 AnalysisManager &Mgr) { in makeLocation() argument
102 ASTContext &ACtx = Mgr.getASTContext(); in makeLocation()
[all …]
|
| H A D | VirtualCallChecker.cpp | 204 void ento::registerVirtualCallModeling(CheckerManager &Mgr) { in registerVirtualCallModeling() argument
205 Mgr.registerChecker<VirtualCallChecker>(); in registerVirtualCallModeling()
208 void ento::registerPureVirtualCallChecker(CheckerManager &Mgr) { in registerPureVirtualCallChecker() argument
209 auto *Chk = Mgr.getChecker<VirtualCallChecker>(); in registerPureVirtualCallChecker()
210 Chk->BT_Pure = std::make_unique<BugType>(Mgr.getCurrentCheckerName(), in registerPureVirtualCallChecker()
215 void ento::registerVirtualCallChecker(CheckerManager &Mgr) { in registerVirtualCallChecker() argument
216 auto *Chk = Mgr.getChecker<VirtualCallChecker>(); in registerVirtualCallChecker()
217 if (!Mgr.getAnalyzerOptions().getCheckerBooleanOption( in registerVirtualCallChecker()
218 Mgr.getCurrentCheckerName(), "PureOnly")) { in registerVirtualCallChecker()
220 Mgr.getCurrentCheckerName(), "Unexpected loss of virtual dispatch", in registerVirtualCallChecker()
[all …]
|
| H A D | ObjCPropertyChecker.cpp | 30 void checkASTDecl(const ObjCPropertyDecl *D, AnalysisManager &Mgr,
36 AnalysisManager &Mgr, in checkASTDecl() argument
78 void ento::registerObjCPropertyChecker(CheckerManager &Mgr) { in registerObjCPropertyChecker() argument
79 Mgr.registerChecker<ObjCPropertyChecker>(); in registerObjCPropertyChecker()
|
| H A D | ObjCMissingSuperCallChecker.cpp | 69 void checkASTDecl(const ObjCImplementationDecl *D, AnalysisManager &Mgr,
165 AnalysisManager &Mgr, in checkASTDecl() argument
197 Mgr.getAnalysisDeclContext(D)); in checkASTDecl()
219 void ento::registerObjCSuperCallChecker(CheckerManager &Mgr) { in registerObjCSuperCallChecker() argument
220 Mgr.registerChecker<ObjCSuperCallChecker>(); in registerObjCSuperCallChecker()
|
| H A D | CheckerDocumentation.cpp | 216 AnalysisManager &Mgr, in checkEndOfTranslationUnit() argument
328 AnalysisManager &Mgr, in checkASTDecl() argument
335 void checkASTCodeBody(const Decl *D, AnalysisManager &Mgr, in checkASTCodeBody() argument
343 void registerCheckerDocumentationChecker(CheckerManager &Mgr) { in registerCheckerDocumentationChecker() argument
344 Mgr.registerChecker<CheckerDocumentation>(); in registerCheckerDocumentationChecker()
|
| H A D | TrustReturnsNonnullChecker.cpp | 54 void ento::registerTrustReturnsNonnullChecker(CheckerManager &Mgr) { in registerTrustReturnsNonnullChecker() argument
55 Mgr.registerChecker<TrustReturnsNonnullChecker>(Mgr.getASTContext()); in registerTrustReturnsNonnullChecker()
|
| H A D | ChrootChecker.cpp | 82 ProgramStateManager &Mgr = state->getStateManager(); in evalChroot() local
86 state = Mgr.addGDM(state, ChrootChecker::getTag(), (void*) ROOT_CHANGED); in evalChroot()
92 ProgramStateManager &Mgr = state->getStateManager(); in evalChdir() local
108 state = Mgr.addGDM(state, ChrootChecker::getTag(), in evalChdir()
|
| H A D | Yaml.h | 29 std::optional<T> getConfiguration(CheckerManager &Mgr, Checker *Chk, in getConfiguration() argument
39 Mgr.reportInvalidCheckerOptionValue(Chk, Option, in getConfiguration()
50 Mgr.reportInvalidCheckerOptionValue(Chk, Option, in getConfiguration()
|
| H A D | DirectIvarAssignment.cpp | 90 void checkASTDecl(const ObjCImplementationDecl *D, AnalysisManager& Mgr,
117 AnalysisManager& Mgr, in checkASTDecl() argument
128 Mgr.getASTContext()); in checkASTDecl()
141 AnalysisDeclContext *DCtx = Mgr.getAnalysisDeclContext(M); in checkASTDecl()
|
| H A D | BoolAssignmentChecker.cpp | 98 void ento::registerBoolAssignmentChecker(CheckerManager &Mgr) { in registerBoolAssignmentChecker() argument
99 Mgr.registerChecker<BoolAssignmentChecker>(); in registerBoolAssignmentChecker()
102 bool ento::shouldRegisterBoolAssignmentChecker(const CheckerManager &Mgr) { in shouldRegisterBoolAssignmentChecker() argument
|
| H A D | GenericTaintChecker.cpp | 349 GenericTaintRuleParser(CheckerManager &Mgr) : Mgr(Mgr) {} in GenericTaintRuleParser()
380 CheckerManager &Mgr; member
482 Mgr.reportInvalidCheckerOptionValue( in REGISTER_MAP_WITH_PROGRAMSTATE()
483 Mgr.getChecker<GenericTaintChecker>(), Option, in REGISTER_MAP_WITH_PROGRAMSTATE()
811 CheckerManager *Mgr = C.getAnalysisManager().getCheckerManager(); in initTaintRules() local
812 assert(Mgr); in initTaintRules()
813 GenericTaintRuleParser ConfigParser{*Mgr}; in initTaintRules()
816 Mgr->getAnalyzerOptions().getCheckerStringOption(this, Option); in initTaintRules()
818 getConfiguration<TaintConfiguration>(*Mgr, this, Option, ConfigFile); in initTaintRules()
1130 void ento::registerTaintPropagationChecker(CheckerManager &Mgr) { in registerTaintPropagationChecker() argument
[all …]
|
| H A D | PutenvStackArrayChecker.cpp | 68 void ento::registerPutenvStackArray(CheckerManager &Mgr) { in registerPutenvStackArray() argument
69 Mgr.registerChecker<PutenvStackArrayChecker>(); in registerPutenvStackArray()
|
| H A D | STLAlgorithmModeling.cpp | 192 void ento::registerSTLAlgorithmModeling(CheckerManager &Mgr) { in registerSTLAlgorithmModeling() argument
193 auto *Checker = Mgr.registerChecker<STLAlgorithmModeling>(); in registerSTLAlgorithmModeling()
195 Mgr.getAnalyzerOptions().getCheckerBooleanOption(Checker, in registerSTLAlgorithmModeling()
|
| H A D | ErrnoTesterChecker.cpp | 181 void ento::registerErrnoTesterChecker(CheckerManager &Mgr) { in registerErrnoTesterChecker() argument
182 Mgr.registerChecker<ErrnoTesterChecker>(); in registerErrnoTesterChecker()
185 bool ento::shouldRegisterErrnoTesterChecker(const CheckerManager &Mgr) { in shouldRegisterErrnoTesterChecker() argument
|
| H A D | PointerIterationChecker.cpp | 94 void ento::registerPointerIterationChecker(CheckerManager &Mgr) { in registerPointerIterationChecker() argument
95 Mgr.registerChecker<PointerIterationChecker>(); in registerPointerIterationChecker()
|
| H A D | ReturnValueChecker.cpp | 101 void ento::registerReturnValueChecker(CheckerManager &Mgr) { in registerReturnValueChecker() argument
102 Mgr.registerChecker<ReturnValueChecker>(); in registerReturnValueChecker()
|
| H A D | CXXSelfAssignmentChecker.cpp | 75 void ento::registerCXXSelfAssignmentChecker(CheckerManager &Mgr) { in registerCXXSelfAssignmentChecker() argument
76 Mgr.registerChecker<CXXSelfAssignmentChecker>(); in registerCXXSelfAssignmentChecker()
|
| H A D | PaddingChecker.cpp | 348 void ento::registerPaddingChecker(CheckerManager &Mgr) { in registerPaddingChecker() argument
349 auto *Checker = Mgr.registerChecker<PaddingChecker>(); in registerPaddingChecker()
350 Checker->AllowedPad = Mgr.getAnalyzerOptions() in registerPaddingChecker()
353 Mgr.reportInvalidCheckerOptionValue( in registerPaddingChecker()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 111 std::unique_ptr<AnalysisManager> Mgr; member in __anonc771e22b0111::AnalysisConsumer
197 SourceManager &SM = Mgr->getASTContext().getSourceManager(); in DisplayFunction()
228 Mgr = std::make_unique<AnalysisManager>(*Ctx, PP, PathConsumers, in Initialize()
273 checkerMgr->runCheckersOnASTDecl(D, *Mgr, *RecVisitorBR); in VisitDecl()
318 assert(RecVisitorMode == AM_Syntax || Mgr->shouldInlineCall() == false); in VisitFunctionDecl()
326 assert(RecVisitorMode == AM_Syntax || Mgr->shouldInlineCall() == false); in VisitObjCMethodDecl()
334 assert(RecVisitorMode == AM_Syntax || Mgr->shouldInlineCall() == false); in VisitBlockDecl()
487 (Mgr->options.InliningMode == All ? nullptr : &VisitedCallees)); in HandleDeclsCallGraph()
529 BugReporter BR(*Mgr); in runAnalysisOnTranslationUnit()
534 checkerMgr->runCheckersOnASTDecl(TU, *Mgr, BR); in runAnalysisOnTranslationUnit()
[all …]
|
| H A D | CheckerRegistry.cpp | 195 const CheckerManager &Mgr,
202 const CheckerManager &Mgr,
205 void CheckerRegistry::initializeRegistry(const CheckerManager &Mgr) { in initializeRegistry() argument
212 return !Checker->isDisabled(Mgr); in initializeRegistry()
215 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
219 if (!collectStrongDependencies(Checker.Dependencies, Mgr, Deps, in initializeRegistry()
239 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
244 collectWeakDependencies(Checker.WeakDependencies, Mgr, Deps, IsEnabled); in initializeRegistry()
246 if (!collectStrongDependencies(Checker.Dependencies, Mgr, Deps, in initializeRegistry()
261 const CheckerManager &Mgr, in collectStrongDependencies() argument
[all …]
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 39 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease() local
40 Mgr.StateSet.RemoveNode(s); in ProgramStateRelease()
42 Mgr.freeStates.push_back(s); in ProgramStateRelease()
118 ProgramStateManager &Mgr = getStateManager(); in bindLoc() local
119 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc()
123 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx); in bindLoc()
131 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial() local
133 const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial()
135 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); in bindDefaultInitial()
140 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero() local
[all …]
|
| H A D | CheckerContext.cpp | 144 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison() local
146 LHSVal = Mgr.getStoreManager().getBinding(State->getStore(), in evalComparison()
152 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
|
| /src/contrib/llvm-project/clang/lib/Analysis/plugins/CheckerOptionHandling/ |
| H A D | CheckerOptionHandling.cpp | 14 void registerMyChecker(CheckerManager &Mgr) { in registerMyChecker() argument
15 MyChecker *Checker = Mgr.registerChecker<MyChecker>(); in registerMyChecker()
17 << (Mgr.getAnalyzerOptions().getCheckerBooleanOption( in registerMyChecker()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/ |
| H A D | NoUncountedMembersChecker.cpp | 151 void ento::registerNoUncountedMemberChecker(CheckerManager &Mgr) { in registerNoUncountedMemberChecker() argument
152 Mgr.registerChecker<NoUncountedMemberChecker>(); in registerNoUncountedMemberChecker()
156 const CheckerManager &Mgr) { in shouldRegisterNoUncountedMemberChecker() argument
|
| H A D | UncountedLambdaCapturesChecker.cpp | 101 void ento::registerUncountedLambdaCapturesChecker(CheckerManager &Mgr) { in registerUncountedLambdaCapturesChecker() argument
102 Mgr.registerChecker<UncountedLambdaCapturesChecker>(); in registerUncountedLambdaCapturesChecker()
|