| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CloneChecker.cpp | 41 void checkASTCodeBody(const Decl *D, AnalysisManager &Mgr,
48 void reportClones(BugReporter &BR, AnalysisManager &Mgr,
54 BugReporter &BR, AnalysisManager &Mgr,
83 reportSuspiciousClones(BR, Mgr, AllCloneGroups); in checkEndOfTranslationUnit()
96 reportClones(BR, Mgr, AllCloneGroups); in checkEndOfTranslationUnit()
101 ASTContext &ACtx = Mgr.getASTContext(); in makeLocation()
108 BugReporter &BR, AnalysisManager &Mgr, in reportClones() argument
129 BugReporter &BR, AnalysisManager &Mgr, in reportSuspiciousClones() argument
194 void ento::registerCloneChecker(CheckerManager &Mgr) { in registerCloneChecker() argument
195 auto *Checker = Mgr.registerChecker<CloneChecker>(); in registerCloneChecker()
[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()
222 Chk->ShowFixIts = Mgr.getAnalyzerOptions().getCheckerBooleanOption( 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,
167 AnalysisManager &Mgr, in checkASTDecl() argument
199 Mgr.getAnalysisDeclContext(D)); in checkASTDecl()
221 void ento::registerObjCSuperCallChecker(CheckerManager &Mgr) { in registerObjCSuperCallChecker() argument
222 Mgr.registerChecker<ObjCSuperCallChecker>(); in registerObjCSuperCallChecker()
|
| 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 | 81 ProgramStateManager &Mgr = state->getStateManager(); in evalChroot() local
85 state = Mgr.addGDM(state, ChrootChecker::getTag(), (void*) ROOT_CHANGED); in evalChroot()
91 ProgramStateManager &Mgr = state->getStateManager(); in evalChdir() local
107 state = Mgr.addGDM(state, ChrootChecker::getTag(), in evalChdir()
|
| H A D | Yaml.h | 28 llvm::Optional<T> getConfiguration(CheckerManager &Mgr, Checker *Chk, in getConfiguration() argument
38 Mgr.reportInvalidCheckerOptionValue(Chk, Option, in getConfiguration()
49 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 | GenericTaintChecker.cpp | 296 GenericTaintRuleParser(CheckerManager &Mgr) : Mgr(Mgr) {} in GenericTaintRuleParser()
327 CheckerManager &Mgr; member
431 Mgr.reportInvalidCheckerOptionValue( in REGISTER_MAP_WITH_PROGRAMSTATE()
432 Mgr.getChecker<GenericTaintChecker>(), Option, in REGISTER_MAP_WITH_PROGRAMSTATE()
720 CheckerManager *Mgr = C.getAnalysisManager().getCheckerManager(); in initTaintRules() local
721 assert(Mgr); in initTaintRules()
722 GenericTaintRuleParser ConfigParser{*Mgr}; in initTaintRules()
725 Mgr->getAnalyzerOptions().getCheckerStringOption(this, Option); in initTaintRules()
727 getConfiguration<TaintConfiguration>(*Mgr, this, Option, ConfigFile); in initTaintRules()
988 void ento::registerGenericTaintChecker(CheckerManager &Mgr) { in registerGenericTaintChecker() argument
[all …]
|
| H A D | STLAlgorithmModeling.cpp | 171 void ento::registerSTLAlgorithmModeling(CheckerManager &Mgr) { in registerSTLAlgorithmModeling() argument
172 auto *Checker = Mgr.registerChecker<STLAlgorithmModeling>(); in registerSTLAlgorithmModeling()
174 Mgr.getAnalyzerOptions().getCheckerBooleanOption(Checker, in registerSTLAlgorithmModeling()
|
| H A D | ErrnoModeling.cpp | 49 void checkASTDecl(const TranslationUnitDecl *D, AnalysisManager &Mgr,
118 AnalysisManager &Mgr, BugReporter &BR) const { in checkASTDecl() argument
125 ErrnoDecl = getErrnoVar(Mgr.getASTContext()); in checkASTDecl()
127 ErrnoDecl = getErrnoFunc(Mgr.getASTContext()); in checkASTDecl()
|
| H A D | PointerIterationChecker.cpp | 94 void ento::registerPointerIterationChecker(CheckerManager &Mgr) { in registerPointerIterationChecker() argument
95 Mgr.registerChecker<PointerIterationChecker>(); in registerPointerIterationChecker()
|
| H A D | ErrnoTesterChecker.cpp | 178 void ento::registerErrnoTesterChecker(CheckerManager &Mgr) { in registerErrnoTesterChecker() argument
179 Mgr.registerChecker<ErrnoTesterChecker>(); in registerErrnoTesterChecker()
182 bool ento::shouldRegisterErrnoTesterChecker(const CheckerManager &Mgr) { in shouldRegisterErrnoTesterChecker() argument
|
| H A D | CXXSelfAssignmentChecker.cpp | 75 void ento::registerCXXSelfAssignmentChecker(CheckerManager &Mgr) { in registerCXXSelfAssignmentChecker() argument
76 Mgr.registerChecker<CXXSelfAssignmentChecker>(); in registerCXXSelfAssignmentChecker()
|
| H A D | SmartPtrChecker.cpp | 100 void ento::registerSmartPtrChecker(CheckerManager &Mgr) { in registerSmartPtrChecker() argument
101 SmartPtrChecker *Checker = Mgr.registerChecker<SmartPtrChecker>(); in registerSmartPtrChecker()
|
| H A D | StringChecker.cpp | 101 void ento::registerStringChecker(CheckerManager &Mgr) { in registerStringChecker() argument
102 Mgr.registerChecker<StringChecker>(); in registerStringChecker()
|
| H A D | PointerSortingChecker.cpp | 108 void ento::registerPointerSortingChecker(CheckerManager &Mgr) { in registerPointerSortingChecker() argument
109 Mgr.registerChecker<PointerSortingChecker>(); in registerPointerSortingChecker()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 112 std::unique_ptr<AnalysisManager> Mgr; member in __anon4823cf260111::AnalysisConsumer
530 BugReporter BR(*Mgr); in runAnalysisOnTranslationUnit()
542 if (!Mgr->shouldInlineCall()) in runAnalysisOnTranslationUnit()
557 if (Mgr->shouldInlineCall()) in runAnalysisOnTranslationUnit()
652 if (!Mgr->isInCodeFile(Loc)) in getModeForDecl()
668 Mgr->ClearContexts(); in HandleCode()
673 CFG *DeclCFG = Mgr->getCFG(D); in HandleCode()
678 BugReporter BR(*Mgr); in HandleCode()
713 if (!Mgr->getCFG(D)) in RunPathSensitiveChecks()
738 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()
[all …]
|
| H A D | CheckerRegistry.cpp | 196 const CheckerManager &Mgr,
203 const CheckerManager &Mgr,
206 void CheckerRegistry::initializeRegistry(const CheckerManager &Mgr) { in initializeRegistry() argument
213 return !Checker->isDisabled(Mgr); in initializeRegistry()
216 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
220 if (!collectStrongDependencies(Checker.Dependencies, Mgr, Deps, in initializeRegistry()
240 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
247 if (!collectStrongDependencies(Checker.Dependencies, Mgr, Deps, in initializeRegistry()
262 const CheckerManager &Mgr, in collectStrongDependencies() argument
282 const CheckerManager &Mgr, in collectWeakDependencies() argument
[all …]
|
| /llvm-project-15.0.7/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
130 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial() local
139 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero() local
187 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl() local
188 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl()
466 ProgramStateManager &Mgr = getStateManager(); in printJson() local
472 Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot); in printJson()
[all …]
|
| H A D | CheckerContext.cpp | 129 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison() local
131 LHSVal = Mgr.getStoreManager().getBinding(State->getStore(), in evalComparison()
137 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
|
| /llvm-project-15.0.7/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()
|
| /llvm-project-15.0.7/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 | 100 void ento::registerUncountedLambdaCapturesChecker(CheckerManager &Mgr) { in registerUncountedLambdaCapturesChecker() argument
101 Mgr.registerChecker<UncountedLambdaCapturesChecker>(); in registerUncountedLambdaCapturesChecker()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | PutenvWithAutoChecker.cpp | 63 void ento::registerPutenvWithAuto(CheckerManager &Mgr) { in registerPutenvWithAuto() argument
64 Mgr.registerChecker<PutenvWithAutoChecker>(); in registerPutenvWithAuto()
|