| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CloneChecker.cpp | 42 void checkASTCodeBody(const Decl *D, AnalysisManager &Mgr,
49 void reportClones(BugReporter &BR, AnalysisManager &Mgr,
55 BugReporter &BR, AnalysisManager &Mgr,
84 reportSuspiciousClones(BR, Mgr, AllCloneGroups); in checkEndOfTranslationUnit()
97 reportClones(BR, Mgr, AllCloneGroups); in checkEndOfTranslationUnit()
102 ASTContext &ACtx = Mgr.getASTContext(); in makeLocation()
109 BugReporter &BR, AnalysisManager &Mgr, in reportClones() argument
126 BugReporter &BR, AnalysisManager &Mgr, in reportSuspiciousClones() argument
187 void ento::registerCloneChecker(CheckerManager &Mgr) { in registerCloneChecker() argument
188 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,
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 | 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 | 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 | 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 | GenericTaintChecker.cpp | 363 GenericTaintRuleParser(CheckerManager &Mgr) : Mgr(Mgr) {} in GenericTaintRuleParser()
394 CheckerManager &Mgr; member
498 Mgr.reportInvalidCheckerOptionValue( in REGISTER_MAP_WITH_PROGRAMSTATE()
499 Mgr.getChecker<GenericTaintChecker>(), Option, in REGISTER_MAP_WITH_PROGRAMSTATE()
795 CheckerManager *Mgr = C.getAnalysisManager().getCheckerManager(); in initTaintRules() local
796 assert(Mgr); in initTaintRules()
797 GenericTaintRuleParser ConfigParser{*Mgr}; in initTaintRules()
800 Mgr->getAnalyzerOptions().getCheckerStringOption(this, Option); in initTaintRules()
802 getConfiguration<TaintConfiguration>(*Mgr, this, Option, ConfigFile); in initTaintRules()
1112 void ento::registerGenericTaintChecker(CheckerManager &Mgr) { in registerGenericTaintChecker() argument
[all …]
|
| 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 | 179 void ento::registerErrnoTesterChecker(CheckerManager &Mgr) { in registerErrnoTesterChecker() argument
180 Mgr.registerChecker<ErrnoTesterChecker>(); in registerErrnoTesterChecker()
183 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 | PointerSortingChecker.cpp | 108 void ento::registerPointerSortingChecker(CheckerManager &Mgr) { in registerPointerSortingChecker() argument
109 Mgr.registerChecker<PointerSortingChecker>(); in registerPointerSortingChecker()
|
| 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 | ErrnoModeling.cpp | 51 void checkASTDecl(const TranslationUnitDecl *D, AnalysisManager &Mgr,
120 AnalysisManager &Mgr, BugReporter &BR) const { in checkASTDecl() argument
127 ErrnoDecl = getErrnoVar(Mgr.getASTContext()); in checkASTDecl()
129 ErrnoDecl = getErrnoFunc(Mgr.getASTContext()); in checkASTDecl()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 111 std::unique_ptr<AnalysisManager> Mgr; member in __anone58317be0111::AnalysisConsumer
529 BugReporter BR(*Mgr); in runAnalysisOnTranslationUnit()
541 if (!Mgr->shouldInlineCall()) in runAnalysisOnTranslationUnit()
556 if (Mgr->shouldInlineCall()) in runAnalysisOnTranslationUnit()
651 if (!Mgr->isInCodeFile(Loc)) in getModeForDecl()
667 Mgr->ClearContexts(); in HandleCode()
672 CFG *DeclCFG = Mgr->getCFG(D); in HandleCode()
677 BugReporter BR(*Mgr); in HandleCode()
712 if (!Mgr->getCFG(D)) in RunPathSensitiveChecks()
737 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()
[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()
246 if (!collectStrongDependencies(Checker.Dependencies, Mgr, Deps, in initializeRegistry()
261 const CheckerManager &Mgr, in collectStrongDependencies() argument
281 const CheckerManager &Mgr, in collectWeakDependencies() argument
[all …]
|
| /freebsd/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
131 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial() local
140 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero() local
187 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl() local
188 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl()
464 ProgramStateManager &Mgr = getStateManager(); in printJson() local
470 Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot); in printJson()
[all …]
|
| H A D | CheckerContext.cpp | 131 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison() local
133 LHSVal = Mgr.getStoreManager().getBinding(State->getStore(), in evalComparison()
139 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
|
| /freebsd/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()
|
| /freebsd/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()
|
| /freebsd/contrib/llvm-project/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()
|