Home
last modified time | relevance | path

Searched refs:Checker (Results 1 – 25 of 148) sorted by relevance

123456

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DCheckers.td133 def BitwiseShiftChecker : Checker<"BitwiseShift">,
146 def CallAndMessageModeling : Checker<"CallAndMessageModeling">,
154 def CallAndMessageChecker : Checker<"CallAndMessage">,
209 def DereferenceModeling : Checker<"DereferenceModeling">,
215 : Checker<"FixedAddressDereference">,
220 def NullDereferenceChecker : Checker<"NullDereference">,
225 def NonNullParamChecker : Checker<"NonNullParamChecker">,
230 def VLASizeChecker : Checker<"VLASize">,
234 def DivZeroChecker : Checker<"DivideZero">,
238 def UndefResultChecker : Checker<"UndefinedBinaryOperatorResult">,
[all …]
H A DCheckerBase.td1 //===--- CheckerBase.td - Checker TableGen classes ------------------------===//
105 /// def DereferenceChecker : Checker<"NullDereference">,
107 class Checker<string name = ""> {
113 list<Checker> Dependencies;
115 list<Checker> WeakDependencies;
134 /// def InnerPointerChecker : Checker<"InnerPointer">,
138 class Dependencies<list<Checker> Deps = []> {
139 list<Checker> Dependencies = Deps;
156 class WeakDependencies<list<Checker> Deps = []> {
157 list<Checker> WeakDependencies = Deps;
/freebsd/contrib/llvm-project/clang/utils/TableGen/
H A DClangSACheckersEmitter.cpp259 for (const Record *Checker : checkers) { in EmitClangSACheckers() local
260 if (Checker->isValueUnset("Dependencies")) in EmitClangSACheckers()
264 Checker->getValueAsListOfDefs("Dependencies")) { in EmitClangSACheckers()
267 OS.write_escaped(getCheckerFullName(Checker)) << "\", "; in EmitClangSACheckers()
284 for (const Record *Checker : checkers) { in EmitClangSACheckers() local
285 if (Checker->isValueUnset("WeakDependencies")) in EmitClangSACheckers()
289 Checker->getValueAsListOfDefs("WeakDependencies")) { in EmitClangSACheckers()
292 OS.write_escaped(getCheckerFullName(Checker)) << "\", "; in EmitClangSACheckers()
318 for (const Record *Checker : checkers) { in EmitClangSACheckers() local
319 if (Checker->isValueUnset("CheckerOptions")) in EmitClangSACheckers()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCastToStructChecker.cpp28 const CheckerBase *Checker; member in __anond888d9760111::CastToStructVisitor
32 explicit CastToStructVisitor(BugReporter &B, const CheckerBase *Checker, in CastToStructVisitor() argument
34 : BR(B), Checker(Checker), AC(A) {} in CastToStructVisitor()
66 AC->getDecl(), Checker, "Cast from non-struct type to struct type", in VisitCastExpr()
97 BR.EmitBasicReport(AC->getDecl(), Checker, "Widening cast to struct type", in VisitCastExpr()
109 class CastToStructChecker : public Checker<check::ASTCodeBody> {
H A DPaddingChecker.cpp30 class PaddingChecker : public Checker<check::ASTDecl<TranslationUnitDecl>> {
46 const PaddingChecker *Checker; in checkASTDecl() member
47 explicit LocalVisitor(const PaddingChecker *Checker) : Checker(Checker) { in checkASTDecl()
52 Checker->visitRecord(RD); in checkASTDecl()
56 Checker->visitVariable(VD); in checkASTDecl()
347 auto *Checker = Mgr.registerChecker<PaddingChecker>(); in registerPaddingChecker() local
348 Checker->AllowedPad = Mgr.getAnalyzerOptions() in registerPaddingChecker()
349 .getCheckerIntegerOption(Checker, "AllowedPad"); in registerPaddingChecker()
350 if (Checker->AllowedPad < 0) in registerPaddingChecker()
352 Checker, "AllowedPad", "a non-negative value"); in registerPaddingChecker()
H A DLLVMConventionsChecker.cpp118 const CheckerBase *Checker; member in __anonfe7749740111::StringRefCheckerVisitor
123 : DeclWithIssue(declWithIssue), BR(br), Checker(checker) {} in StringRefCheckerVisitor()
137 const CheckerBase *Checker) { in CheckStringRefAssignedTemporary() argument
138 StringRefCheckerVisitor walker(D, BR, Checker); in CheckStringRefAssignedTemporary()
183 BR.EmitBasicReport(DeclWithIssue, Checker, desc, "LLVM Conventions", desc, in VisitVarDecl()
218 const CheckerBase *Checker; member in __anonfe7749740211::ASTFieldVisitor
223 : Root(root), BR(br), Checker(checker) {} in ASTFieldVisitor()
231 const CheckerBase *Checker) { in CheckASTMemory() argument
236 ASTFieldVisitor walker(R, BR, Checker); in CheckASTMemory()
287 BR.EmitBasicReport(Root, Checker, "AST node allocates heap memory", in ReportError()
[all …]
H A DCheckObjCInstMethSignature.cpp43 const CheckerBase *Checker) { in CompareReturnTypes() argument
71 MethDerived, Checker, "Incompatible instance method return type", in CompareReturnTypes()
78 const CheckerBase *Checker) { in CheckObjCInstMethSignature() argument
113 CompareReturnTypes(MethDerived, M, BR, Ctx, ID, Checker); in CheckObjCInstMethSignature()
125 class ObjCMethSigsChecker : public Checker<
H A DDirectIvarAssignment.cpp52 public Checker<check::ASTDecl<ObjCImplementationDecl> > {
64 const CheckerBase *Checker; member in __anonb45dccd40111::DirectIvarAssignment::MethodCrawler
70 const CheckerBase *Checker, AnalysisDeclContext *InDCtx) in MethodCrawler() argument
72 Checker(Checker), DCtx(InDCtx) {} in MethodCrawler()
201 MD, Checker, "Property access", categories::CoreFoundationObjectiveC, in VisitBinaryOperator()
H A DNoOwnershipChangeVisitor.h20 const CheckerBackend &Checker; variable
66 NoOwnershipChangeVisitor(SymbolRef Sym, const CheckerBackend *Checker) in NoOwnershipChangeVisitor() argument
68 Checker(*Checker) {} in NoOwnershipChangeVisitor()
H A DCStringSyntaxChecker.cpp33 const CheckerBase *Checker; member in __anon8e4070240111::WalkAST
104 WalkAST(const CheckerBase *Checker, BugReporter &BR, AnalysisDeclContext *AC) in WalkAST() argument
105 : Checker(Checker), BR(BR), AC(AC) {} in WalkAST()
238 BR.EmitBasicReport(FD, Checker, "Anti-pattern in the argument", in VisitCallExpr()
262 BR.EmitBasicReport(FD, Checker, "Anti-pattern in the argument", in VisitCallExpr()
279 class CStringSyntaxChecker: public Checker<check::ASTCodeBody> {
H A DNSErrorChecker.cpp41 : public Checker< check::ASTDecl<ObjCMethodDecl> > {
88 : public Checker< check::ASTDecl<FunctionDecl> > {
148 NSErrorDerefBug(const CheckerNameRef Checker) in NSErrorDerefBug() argument
149 : BugType(Checker, "NSError** null dereference", in NSErrorDerefBug()
155 CFErrorDerefBug(const CheckerNameRef Checker) in CFErrorDerefBug() argument
156 : BugType(Checker, "CFErrorRef* null dereference", in CFErrorDerefBug()
164 : public Checker< check::Location,
H A DObjCContainersASTChecker.cpp29 const CheckerBase *Checker; member in __anon92c36e3f0111::WalkAST
74 : BR(br), Checker(checker), AC(ac), ASTC(AC->getASTContext()), in WalkAST()
144 BR.EmitBasicReport(AC->getDecl(), Checker, OsName.str(), in VisitCallExpr()
160 class ObjCContainersASTChecker : public Checker<check::ASTCodeBody> {
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Coroutines/
H A DSpillUtils.cpp154 const SuspendCrossingInfo &Checker, in AllocaUseVisitor()
156 : PtrUseVisitor(DL), DT(DT), CoroShape(CoroShape), Checker(Checker), in AllocaUseVisitor()
313 const SuspendCrossingInfo &Checker; member
354 if (Checker.hasPathOrLoopCrossingSuspendPoint(A->getParent(), in computeShouldLiveOnFrame()
377 if (Checker.isDefinitionAcrossSuspend(*U1, U2)) in computeShouldLiveOnFrame()
417 const SuspendCrossingInfo &Checker, in collectFrameAlloca() argument
439 AllocaUseVisitor Visitor{AI->getDataLayout(), DT, Shape, Checker, in collectFrameAlloca()
451 const SuspendCrossingInfo &Checker) { in collectSpillsFromArgs() argument
455 if (Checker.isDefinitionAcrossSuspend(A, U)) in collectSpillsFromArgs()
463 const SuspendCrossingInfo &Checker, const DominatorTree &DT, in collectSpillsAndAllocasFromInsts() argument
[all …]
H A DMaterializationUtils.cpp53 SuspendCrossingInfo &Checker; member
56 Instruction *I, SuspendCrossingInfo &Checker) in RematGraph()
57 : MaterializableCallback(MaterializableCallback), Checker(Checker) { in RematGraph()
82 !Checker.isDefinitionAcrossSuspend(*D, FirstUse)) in addNode()
258 Function &F, SuspendCrossingInfo &Checker, in doRematerializations() argument
272 if (Checker.isDefinitionAcrossSuspend(I, U)) in doRematerializations()
302 std::make_unique<RematGraph>(IsMaterializable, U, Checker); in doRematerializations()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/
H A DCheckerRegistry.cpp209 auto IsEnabledFromCmdLine = [&](const CheckerInfo *Checker) { in initializeRegistry() argument
210 return !Checker->isDisabled(Mgr); in initializeRegistry()
212 for (const CheckerInfo &Checker : Data.Checkers) { in initializeRegistry() local
213 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
217 if (!collectStrongDependencies(Checker.Dependencies, Mgr, Deps, in initializeRegistry()
227 Tmp.insert(&Checker); in initializeRegistry()
233 auto IsEnabled = [&](const CheckerInfo *Checker) { in initializeRegistry() argument
234 return Tmp.contains(Checker); in initializeRegistry()
236 for (const CheckerInfo &Checker : Data.Checkers) { in initializeRegistry() local
237 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp52 const CheckerFrontend *Checker, StringRef OptionName, in reportInvalidCheckerOptionValue() argument
56 << (llvm::Twine(Checker->getName()) + ":" + OptionName).str() in reportInvalidCheckerOptionValue()
137 std::string checkerScopeName(StringRef Name, const CheckerBackend *Checker) { in checkerScopeName() argument
140 StringRef CheckerTag = Checker ? Checker->getDebugTag() : "<unknown>"; in checkerScopeName()
163 llvm::TimeTraceScope TimeScope(checkerScopeName("Stmt", checkFn.Checker)); in runChecker()
168 Pred->getLocationContext(), checkFn.Checker); in runChecker()
215 checkerScopeName("ObjCMsg", checkFn.Checker)); in runChecker()
228 const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker()
287 llvm::TimeTraceScope TimeScope(checkerScopeName("Call", checkFn.Checker)); in runChecker()
288 const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker); in runChecker()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/
H A DForwardDeclChecker.cpp29 class ForwardDeclChecker : public Checker<check::ASTDecl<TranslationUnitDecl>> {
50 const ForwardDeclChecker *Checker; in checkASTDecl() member
53 explicit LocalVisitor(const ForwardDeclChecker *Checker) in checkASTDecl()
54 : Checker(Checker) { in checkASTDecl()
55 assert(Checker); in checkASTDecl()
62 Checker->visitTypedef(TD); in checkASTDecl()
67 Checker->visitRecordDecl(RD, DeclWithIssue); in checkASTDecl()
80 Checker->visitVarDecl(V, DeclWithIssue); in checkASTDecl()
85 Checker->visitCallExpr(CE, DeclWithIssue); in checkASTDecl()
90 Checker->visitConstructExpr(CE, DeclWithIssue); in checkASTDecl()
[all …]
H A DRawPtrRefLambdaCapturesChecker.cpp24 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
49 const RawPtrRefLambdaCapturesChecker *Checker; in checkASTDecl() member
57 explicit LocalVisitor(const RawPtrRefLambdaCapturesChecker *Checker) in checkASTDecl()
58 : Checker(Checker) { in checkASTDecl()
59 assert(Checker); in checkASTDecl()
81 if (Checker->RTC) in checkASTDecl()
82 Checker->RTC->visitTypedef(TD); in checkASTDecl()
88 !ClsType.isNull() ? Checker->isUnsafePtr(ClsType) : std::nullopt; in checkASTDecl()
95 Checker->visitLambdaExpr(L, shouldCheckThis() && !hasProtectedThis(L), in checkASTDecl()
124 Checker->visitLambdaExpr(L, shouldCheckThis() && !hasProtectedThis(L), in checkASTDecl()
[all …]
H A DRawPtrRefMemberChecker.cpp27 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
53 const RawPtrRefMemberChecker *Checker; in checkASTDecl() member
54 explicit LocalVisitor(const RawPtrRefMemberChecker *Checker) in checkASTDecl()
55 : Checker(Checker) { in checkASTDecl()
56 assert(Checker); in checkASTDecl()
62 if (Checker->RTC) in checkASTDecl()
63 Checker->RTC->visitTypedef(TD); in checkASTDecl()
68 Checker->visitRecordDecl(RD); in checkASTDecl()
73 Checker->visitObjCDecl(CD); in checkASTDecl()
H A DRawPtrRefLocalVarsChecker.cpp167 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
193 const RawPtrRefLocalVarsChecker *Checker; in checkASTDecl() member
198 explicit LocalVisitor(const RawPtrRefLocalVarsChecker *Checker) in checkASTDecl()
199 : Checker(Checker) { in checkASTDecl()
200 assert(Checker); in checkASTDecl()
213 if (Checker->RTC) in checkASTDecl()
214 Checker->RTC->visitTypedef(TD); in checkASTDecl()
221 Checker->visitVarDecl(V, Init, DeclWithIssue); in checkASTDecl()
229 Checker->visitVarDecl(V, BO->getRHS(), DeclWithIssue); in checkASTDecl()
H A DRawPtrRefCallArgsChecker.cpp30 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
59 const RawPtrRefCallArgsChecker *Checker; in checkASTDecl() member
62 explicit LocalVisitor(const RawPtrRefCallArgsChecker *Checker) in checkASTDecl()
63 : Checker(Checker) { in checkASTDecl()
64 assert(Checker); in checkASTDecl()
83 Checker->visitCallExpr(CE, DeclWithIssue); in checkASTDecl()
88 if (Checker->RTC) in checkASTDecl()
89 Checker->RTC->visitTypedef(TD); in checkASTDecl()
94 Checker->visitObjCMessageExpr(ObjCMsgExpr, DeclWithIssue); in checkASTDecl()
H A DRetainPtrCtorAdoptChecker.cpp27 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
49 const RetainPtrCtorAdoptChecker *Checker; in checkASTDecl() member
54 explicit LocalVisitor(const RetainPtrCtorAdoptChecker *Checker) in checkASTDecl()
55 : Checker(Checker) { in checkASTDecl()
56 assert(Checker); in checkASTDecl()
76 Checker->RTC.visitTypedef(TD); in checkASTDecl()
81 Checker->visitCallExpr(CE, DeclWithIssue); in checkASTDecl()
86 Checker->visitConstructExpr(CE, DeclWithIssue); in checkASTDecl()
91 Checker->visitObjCMessageExpr(ObjCMsgExpr, DeclWithIssue); in checkASTDecl()
96 Checker->visitReturnStmt(RS, DeclWithIssue); in checkASTDecl()
[all …]
/freebsd/contrib/llvm-project/llvm/lib/ExecutionEngine/RuntimeDyld/
H A DRuntimeDyldChecker.cpp50 RuntimeDyldCheckerExprEval(const RuntimeDyldCheckerImpl &Checker, in RuntimeDyldCheckerExprEval() argument
52 : Checker(Checker) {} in RuntimeDyldCheckerExprEval()
83 Checker.ErrStream << "Expression '" << Expr << "' is false: " in evaluate()
104 const RuntimeDyldCheckerImpl &Checker; member in llvm::RuntimeDyldCheckerExprEval
167 Checker.ErrStream << "Error evaluating expression '" << Expr in handleError()
248 if (!Checker.isSymbolValid(Symbol)) in evalDecodeOperand()
299 auto TT = Checker.getTripleForSymbol(Checker.getTargetFlag(Symbol)); in evalDecodeOperand()
300 auto TI = getTargetInfo(TT, Checker.getCPU(), Checker.getFeatures()); in evalDecodeOperand()
351 if (!Checker.isSymbolValid(Symbol)) in evalNextPC()
369 ? Checker.getSymbolLocalAddr(Symbol) in evalNextPC()
[all …]
/freebsd/contrib/llvm-project/clang/lib/Analysis/plugins/CheckerOptionHandling/
H A DCheckerOptionHandling.cpp9 struct MyChecker : public Checker<check::BeginFunction> {
14 MyChecker *Checker = Mgr.registerChecker<MyChecker>(); in registerMyChecker() local
17 Checker, "ExampleOption") in registerMyChecker()
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/Coroutines/
H A DSpillUtils.h34 const SuspendCrossingInfo &Checker);
39 const SuspendCrossingInfo &Checker, const DominatorTree &DT,
42 const SuspendCrossingInfo &Checker);

123456