| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 109 std::unique_ptr<AnalysisManager> Mgr; member in __anond6a4e1f60111::AnalysisConsumer
200 SourceManager &SM = Mgr->getASTContext().getSourceManager(); in DisplayFunction()
263 checkerMgr->runCheckersOnASTDecl(D, *Mgr, *RecVisitorBR); in VisitDecl()
308 assert(RecVisitorMode == AM_Syntax || Mgr->shouldInlineCall() == false); in VisitFunctionDecl()
316 assert(RecVisitorMode == AM_Syntax || Mgr->shouldInlineCall() == false); in VisitObjCMethodDecl()
324 assert(RecVisitorMode == AM_Syntax || Mgr->shouldInlineCall() == false); in VisitBlockDecl()
509 (Mgr->options.InliningMode == All ? nullptr : &VisitedCallees)); in HandleDeclsCallGraph()
551 BugReporter BR(*Mgr); in runAnalysisOnTranslationUnit()
556 checkerMgr->runCheckersOnASTDecl(TU, *Mgr, BR); in runAnalysisOnTranslationUnit()
564 if (!Mgr->shouldInlineCall()) in runAnalysisOnTranslationUnit()
[all …]
|
| H A D | CheckerRegistry.cpp | 193 const CheckerManager &Mgr,
200 const CheckerManager &Mgr,
203 void CheckerRegistry::initializeRegistry(const CheckerManager &Mgr) { in initializeRegistry() argument
210 return !Checker->isDisabled(Mgr); in initializeRegistry()
213 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
217 if (!collectStrongDependencies(Checker.Dependencies, Mgr, Deps, in initializeRegistry()
237 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
242 collectWeakDependencies(Checker.WeakDependencies, Mgr, Deps, IsEnabled); in initializeRegistry()
244 if (!collectStrongDependencies(Checker.Dependencies, Mgr, Deps, in initializeRegistry()
259 const CheckerManager &Mgr, in collectStrongDependencies() argument
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VirtualCallChecker.cpp | 212 void ento::registerPureVirtualCallChecker(CheckerManager &Mgr) { in registerPureVirtualCallChecker() argument
213 Mgr.getChecker<VirtualCallChecker>()->PureChecker.enable(Mgr); in registerPureVirtualCallChecker()
216 bool ento::shouldRegisterPureVirtualCallChecker(const CheckerManager &Mgr) { in shouldRegisterPureVirtualCallChecker() argument
217 return Mgr.getLangOpts().CPlusPlus; in shouldRegisterPureVirtualCallChecker()
220 void ento::registerVirtualCallChecker(CheckerManager &Mgr) { in registerVirtualCallChecker() argument
221 auto *Chk = Mgr.getChecker<VirtualCallChecker>(); in registerVirtualCallChecker()
222 Chk->ImpureChecker.enable(Mgr); in registerVirtualCallChecker()
223 Chk->ShowFixIts = Mgr.getAnalyzerOptions().getCheckerBooleanOption( in registerVirtualCallChecker()
224 Mgr.getCurrentCheckerName(), "ShowFixIts"); in registerVirtualCallChecker()
227 bool ento::shouldRegisterVirtualCallChecker(const CheckerManager &Mgr) { in shouldRegisterVirtualCallChecker() argument
[all …]
|
| H A D | MmapWriteExecChecker.cpp | 42 void checkASTDecl(const TranslationUnitDecl *TU, AnalysisManager &Mgr,
49 AnalysisManager &Mgr, in checkASTDecl() argument
51 Preprocessor &PP = Mgr.getPreprocessor(); in checkASTDecl()
89 void ento::registerMmapWriteExecChecker(CheckerManager &Mgr) { in registerMmapWriteExecChecker() argument
90 Mgr.registerChecker<MmapWriteExecChecker>(); in registerMmapWriteExecChecker()
|
| H A D | DivZeroChecker.cpp | 127 void ento::registerDivZeroChecker(CheckerManager &Mgr) { in registerDivZeroChecker() argument
128 Mgr.getChecker<DivZeroChecker>()->DivideZeroChecker.enable(Mgr); in registerDivZeroChecker()
133 void ento::registerTaintedDivChecker(CheckerManager &Mgr) { in registerTaintedDivChecker() argument
134 Mgr.getChecker<DivZeroChecker>()->TaintedDivChecker.enable(Mgr); in registerTaintedDivChecker()
|
| H A D | DereferenceChecker.cpp | 395 void ento::registerDereferenceModeling(CheckerManager &Mgr) { in registerDereferenceModeling() argument
396 Mgr.registerChecker<DereferenceChecker>(); in registerDereferenceModeling()
403 void ento::registerNullDereferenceChecker(CheckerManager &Mgr) { in registerNullDereferenceChecker() argument
404 auto *Chk = Mgr.getChecker<DereferenceChecker>(); in registerNullDereferenceChecker()
406 Chk->BT_Null.reset(new BugType(Mgr.getCurrentCheckerName(), in registerNullDereferenceChecker()
409 Chk->BT_Undef.reset(new BugType(Mgr.getCurrentCheckerName(), in registerNullDereferenceChecker()
412 Chk->BT_Label.reset(new BugType(Mgr.getCurrentCheckerName(), in registerNullDereferenceChecker()
421 void ento::registerFixedAddressDereferenceChecker(CheckerManager &Mgr) { in registerFixedAddressDereferenceChecker() argument
422 auto *Chk = Mgr.getChecker<DereferenceChecker>(); in registerFixedAddressDereferenceChecker()
424 Chk->BT_FixedAddress.reset(new BugType(Mgr.getCurrentCheckerName(), in registerFixedAddressDereferenceChecker()
|
| H A D | ObjCMissingSuperCallChecker.cpp | 68 void checkASTDecl(const ObjCImplementationDecl *D, AnalysisManager &Mgr,
164 AnalysisManager &Mgr, in checkASTDecl() argument
196 Mgr.getAnalysisDeclContext(D)); in checkASTDecl()
218 void ento::registerObjCSuperCallChecker(CheckerManager &Mgr) { in registerObjCSuperCallChecker() argument
219 Mgr.registerChecker<ObjCSuperCallChecker>(); in registerObjCSuperCallChecker()
|
| H A D | CheckerDocumentation.cpp | 252 AnalysisManager &Mgr, in checkEndOfTranslationUnit() argument
364 AnalysisManager &Mgr, in checkASTDecl() argument
371 void checkASTCodeBody(const Decl *D, AnalysisManager &Mgr, in checkASTCodeBody() argument
379 void registerCheckerDocumentationChecker(CheckerManager &Mgr) { in registerCheckerDocumentationChecker() argument
380 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 | 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 | UnixAPIChecker.cpp | 79 void checkASTDecl(const TranslationUnitDecl *TU, AnalysisManager &Mgr,
635 void ento::registerUnixAPIMisuseChecker(CheckerManager &Mgr) { in registerUnixAPIMisuseChecker() argument
636 Mgr.registerChecker<UnixAPIMisuseChecker>(Mgr.getASTContext(), in registerUnixAPIMisuseChecker()
637 Mgr.getPreprocessor()); in registerUnixAPIMisuseChecker()
639 bool ento::shouldRegisterUnixAPIMisuseChecker(const CheckerManager &Mgr) { in shouldRegisterUnixAPIMisuseChecker() argument
643 void ento::registerUnixAPIPortabilityChecker(CheckerManager &Mgr) { in registerUnixAPIPortabilityChecker() argument
644 Mgr.registerChecker<UnixAPIPortabilityChecker>(); in registerUnixAPIPortabilityChecker()
646 bool ento::shouldRegisterUnixAPIPortabilityChecker(const CheckerManager &Mgr) { in shouldRegisterUnixAPIPortabilityChecker() argument
|
| H A D | GenericTaintChecker.cpp | 347 GenericTaintRuleParser(CheckerManager &Mgr) : Mgr(Mgr) {} in GenericTaintRuleParser()
378 CheckerManager &Mgr; member
480 Mgr.reportInvalidCheckerOptionValue( in REGISTER_MAP_WITH_PROGRAMSTATE()
481 Mgr.getChecker<GenericTaintChecker>(), Option, in REGISTER_MAP_WITH_PROGRAMSTATE()
809 CheckerManager *Mgr = C.getAnalysisManager().getCheckerManager(); in initTaintRules() local
810 assert(Mgr); in initTaintRules()
811 GenericTaintRuleParser ConfigParser{*Mgr}; in initTaintRules()
814 Mgr->getAnalyzerOptions().getCheckerStringOption(this, Option); in initTaintRules()
816 getConfiguration<TaintConfiguration>(*Mgr, this, Option, ConfigFile); in initTaintRules()
1143 void ento::registerTaintPropagationChecker(CheckerManager &Mgr) { in registerTaintPropagationChecker() argument
[all …]
|
| H A D | PutenvStackArrayChecker.cpp | 70 void ento::registerPutenvStackArray(CheckerManager &Mgr) { in registerPutenvStackArray() argument
71 Mgr.registerChecker<PutenvStackArrayChecker>(); in registerPutenvStackArray()
|
| H A D | AssumeModeling.cpp | 81 void ento::registerAssumeModeling(CheckerManager &Mgr) { in registerAssumeModeling() argument
82 Mgr.registerChecker<AssumeModelingChecker>(); in registerAssumeModeling()
|
| H A D | ErrnoTesterChecker.cpp | 180 void ento::registerErrnoTesterChecker(CheckerManager &Mgr) { in registerErrnoTesterChecker() argument
181 Mgr.registerChecker<ErrnoTesterChecker>(); in registerErrnoTesterChecker()
184 bool ento::shouldRegisterErrnoTesterChecker(const CheckerManager &Mgr) { in shouldRegisterErrnoTesterChecker() argument
|
| H A D | ReturnValueChecker.cpp | 100 void ento::registerReturnValueChecker(CheckerManager &Mgr) { in registerReturnValueChecker() argument
101 Mgr.registerChecker<ReturnValueChecker>(); in registerReturnValueChecker()
|
| H A D | PaddingChecker.cpp | 346 void ento::registerPaddingChecker(CheckerManager &Mgr) { in registerPaddingChecker() argument
347 auto *Checker = Mgr.registerChecker<PaddingChecker>(); in registerPaddingChecker()
348 Checker->AllowedPad = Mgr.getAnalyzerOptions() in registerPaddingChecker()
351 Mgr.reportInvalidCheckerOptionValue( in registerPaddingChecker()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 38 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease() local
39 Mgr.StateSet.RemoveNode(s); in ProgramStateRelease()
41 Mgr.freeStates.push_back(s); in ProgramStateRelease()
117 ProgramStateManager &Mgr = getStateManager(); in bindLoc() local
118 ExprEngine &Eng = Mgr.getOwningEngine(); in bindLoc()
119 ProgramStateRef State = makeWithStore(Mgr.StoreMgr->Bind(getStore(), LV, V)); in bindLoc()
131 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial() local
133 BindResult BindRes = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial()
135 return Mgr.getOwningEngine().processRegionChange(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()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/ |
| H A D | RawPtrRefMemberChecker.cpp | 387 void ento::registerNoUncountedMemberChecker(CheckerManager &Mgr) { in registerNoUncountedMemberChecker() argument
388 Mgr.registerChecker<NoUncountedMemberChecker>(); in registerNoUncountedMemberChecker()
391 bool ento::shouldRegisterNoUncountedMemberChecker(const CheckerManager &Mgr) { in shouldRegisterNoUncountedMemberChecker() argument
395 void ento::registerNoUncheckedPtrMemberChecker(CheckerManager &Mgr) { in registerNoUncheckedPtrMemberChecker() argument
396 Mgr.registerChecker<NoUncheckedPtrMemberChecker>(); in registerNoUncheckedPtrMemberChecker()
400 const CheckerManager &Mgr) { in shouldRegisterNoUncheckedPtrMemberChecker() argument
404 void ento::registerNoUnretainedMemberChecker(CheckerManager &Mgr) { in registerNoUnretainedMemberChecker() argument
405 Mgr.registerChecker<NoUnretainedMemberChecker>(); in registerNoUnretainedMemberChecker()
408 bool ento::shouldRegisterNoUnretainedMemberChecker(const CheckerManager &Mgr) { in shouldRegisterNoUnretainedMemberChecker() argument
|
| H A D | RawPtrRefLocalVarsChecker.cpp | 451 void ento::registerUncountedLocalVarsChecker(CheckerManager &Mgr) { in registerUncountedLocalVarsChecker() argument
452 Mgr.registerChecker<UncountedLocalVarsChecker>(); in registerUncountedLocalVarsChecker()
459 void ento::registerUncheckedLocalVarsChecker(CheckerManager &Mgr) { in registerUncheckedLocalVarsChecker() argument
460 Mgr.registerChecker<UncheckedLocalVarsChecker>(); in registerUncheckedLocalVarsChecker()
467 void ento::registerUnretainedLocalVarsChecker(CheckerManager &Mgr) { in registerUnretainedLocalVarsChecker() argument
468 Mgr.registerChecker<UnretainedLocalVarsChecker>(); in registerUnretainedLocalVarsChecker()
|
| H A D | RawPtrRefCallArgsChecker.cpp | 487 void ento::registerUncountedCallArgsChecker(CheckerManager &Mgr) { in registerUncountedCallArgsChecker() argument
488 Mgr.registerChecker<UncountedCallArgsChecker>(); in registerUncountedCallArgsChecker()
495 void ento::registerUncheckedCallArgsChecker(CheckerManager &Mgr) { in registerUncheckedCallArgsChecker() argument
496 Mgr.registerChecker<UncheckedCallArgsChecker>(); in registerUncheckedCallArgsChecker()
503 void ento::registerUnretainedCallArgsChecker(CheckerManager &Mgr) { in registerUnretainedCallArgsChecker() argument
504 Mgr.registerChecker<UnretainedCallArgsChecker>(); in registerUnretainedCallArgsChecker()
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/plugins/CheckerOptionHandling/ |
| H A D | CheckerOptionHandling.cpp | 13 void registerMyChecker(CheckerManager &Mgr) { in registerMyChecker() argument
14 MyChecker *Checker = Mgr.registerChecker<MyChecker>(); in registerMyChecker()
16 << (Mgr.getAnalyzerOptions().getCheckerBooleanOption( in registerMyChecker()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 519 void enable(CheckerManager &Mgr) { in enable() argument
521 Name = Mgr.getCurrentCheckerName(); in enable()
558 static void _register(CHECKER *Chk, CheckerManager &Mgr) { in _register() argument
559 (CHECKs::_register(Chk, Mgr), ...); in _register()
589 static void _register(CHECKER *Chk, CheckerManager &Mgr) { in _register() argument
590 (CHECKs::_register(Chk, Mgr), ...); in _register()
596 CheckerManager *Mgr = nullptr; variable
603 static_cast<EventDispatcher<EVENT> *>(checker)->Mgr = &mgr; in _register()
607 Mgr->_dispatchEvent(event); in dispatchEvent()
|