Home
last modified time | relevance | path

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

1234567

/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
HDCheckers.td136 def BitwiseShiftChecker : Checker<"BitwiseShift">,
149 def CallAndMessageModeling : Checker<"CallAndMessageModeling">,
157 def CallAndMessageChecker : Checker<"CallAndMessage">,
212 def DereferenceChecker : Checker<"NullDereference">,
223 def NonNullParamChecker : Checker<"NonNullParamChecker">,
228 def VLASizeChecker : Checker<"VLASize">,
232 def DivZeroChecker : Checker<"DivideZero">,
236 def UndefResultChecker : Checker<"UndefinedBinaryOperatorResult">,
240 def StackAddrEscapeBase : Checker<"StackAddrEscapeBase">,
245 def StackAddrEscapeChecker : Checker<"StackAddressEscape">,
[all …]
HDCheckerBase.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-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDCheckerRegistryData.cpp83 static bool isInPackage(const CheckerInfo &Checker, StringRef PackageName) { in isInPackage() argument
85 if (!Checker.FullName.starts_with(PackageName)) in isInPackage()
89 if (Checker.FullName.size() == PackageName.size()) in isInPackage()
93 if (Checker.FullName[PackageName.size()] == PackageSeparator) in isInPackage()
131 for (const auto &Checker : Checkers) { in printCheckerWithDescList() local
134 size_t NameLength = Checker.FullName.size(); in printCheckerWithDescList()
141 auto Print = [=](llvm::raw_ostream &Out, const CheckerInfo &Checker, in printCheckerWithDescList()
143 AnalyzerOptions::printFormattedEntry(Out, {Checker.FullName, Description}, in printCheckerWithDescList()
148 for (const auto &Checker : Checkers) { in printCheckerWithDescList() local
155 if (Checker.IsHidden) { in printCheckerWithDescList()
[all …]
HDChecker.cpp31 CheckerProgramPointTag::CheckerProgramPointTag(const CheckerBase *Checker, in CheckerProgramPointTag() argument
33 : SimpleProgramPointTag(Checker->getCheckerName().getName(), Msg) {} in CheckerProgramPointTag()
36 const CheckerBase &Checker) { in operator <<() argument
37 Out << Checker.getCheckerName().getName(); in operator <<()
/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugType.h32 const CheckerBase *Checker; variable
41 Checker(nullptr), SuppressOnSink(SuppressOnSink) {} in CheckerName()
42 BugType(const CheckerBase *Checker, StringRef Desc,
44 : CheckerName(Checker->getCheckerName()), Description(Desc),
45 Category(Cat), Checker(Checker), SuppressOnSink(SuppressOnSink) {}
56 StringRef Ret = Checker ? Checker->getCheckerName() : CheckerName; in getCheckerName()
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/
HDUncountedLambdaCapturesChecker.cpp24 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
39 const UncountedLambdaCapturesChecker *Checker; in checkASTDecl() member
40 explicit LocalVisitor(const UncountedLambdaCapturesChecker *Checker) in checkASTDecl()
41 : Checker(Checker) { in checkASTDecl()
42 assert(Checker); in checkASTDecl()
49 Checker->visitLambdaExpr(L); in checkASTDecl()
HDNoUncountedMembersChecker.cpp29 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
49 const NoUncountedMemberChecker *Checker; in checkASTDecl() member
50 explicit LocalVisitor(const NoUncountedMemberChecker *Checker) in checkASTDecl()
51 : Checker(Checker) { in checkASTDecl()
52 assert(Checker); in checkASTDecl()
59 Checker->visitRecordDecl(RD); in checkASTDecl()
HDUncountedLocalVarsChecker.cpp107 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
123 const UncountedLocalVarsChecker *Checker; in checkASTDecl() member
129 explicit LocalVisitor(const UncountedLocalVarsChecker *Checker) in checkASTDecl()
130 : Checker(Checker) { in checkASTDecl()
131 assert(Checker); in checkASTDecl()
140 Checker->visitVarDecl(V, Init); in checkASTDecl()
148 Checker->visitVarDecl(V, BO->getRHS()); in checkASTDecl()
HDUncountedCallArgsChecker.cpp29 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
47 const UncountedCallArgsChecker *Checker; in checkASTDecl() member
48 explicit LocalVisitor(const UncountedCallArgsChecker *Checker) in checkASTDecl()
49 : Checker(Checker) { in checkASTDecl()
50 assert(Checker); in checkASTDecl()
64 Checker->visitCallExpr(CE); in checkASTDecl()
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDCloneChecker.cpp29 : public Checker<check::ASTCodeBody, check::EndOfTranslationUnit> {
188 auto *Checker = Mgr.registerChecker<CloneChecker>(); in registerCloneChecker() local
190 Checker->MinComplexity = Mgr.getAnalyzerOptions().getCheckerIntegerOption( in registerCloneChecker()
191 Checker, "MinimumCloneComplexity"); in registerCloneChecker()
193 if (Checker->MinComplexity < 0) in registerCloneChecker()
195 Checker, "MinimumCloneComplexity", "a non-negative value"); in registerCloneChecker()
197 Checker->ReportNormalClones = Mgr.getAnalyzerOptions().getCheckerBooleanOption( in registerCloneChecker()
198 Checker, "ReportNormalClones"); in registerCloneChecker()
200 Checker->IgnoredFilesPattern = Mgr.getAnalyzerOptions() in registerCloneChecker()
201 .getCheckerStringOption(Checker, "IgnoredFilesPattern"); in registerCloneChecker()
HDDebugCheckers.cpp33 class DominatorsTreeDumper : public Checker<check::ASTCodeBody> {
59 class PostDominatorsTreeDumper : public Checker<check::ASTCodeBody> {
85 class ControlDependencyTreeDumper : public Checker<check::ASTCodeBody> {
110 class LiveVariablesDumper : public Checker<check::ASTCodeBody> {
134 class LiveExpressionsDumper : public Checker<check::ASTCodeBody> {
157 class CFGViewer : public Checker<check::ASTCodeBody> {
181 class CFGDumper : public Checker<check::ASTCodeBody> {
211 class CallGraphViewer : public Checker< check::ASTDecl<TranslationUnitDecl> > {
235 class CallGraphDumper : public Checker< check::ASTDecl<TranslationUnitDecl> > {
259 class ConfigDumper : public Checker< check::EndOfTranslationUnit > {
[all …]
HDCastToStructChecker.cpp28 const CheckerBase *Checker; member in __anone51d2b100111::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> {
HDPaddingChecker.cpp33 class PaddingChecker : public Checker<check::ASTDecl<TranslationUnitDecl>> {
49 const PaddingChecker *Checker; in checkASTDecl() member
52 explicit LocalVisitor(const PaddingChecker *Checker) : Checker(Checker) {} in checkASTDecl()
54 Checker->visitRecord(RD); in checkASTDecl()
58 Checker->visitVariable(VD); in checkASTDecl()
349 auto *Checker = Mgr.registerChecker<PaddingChecker>(); in registerPaddingChecker() local
350 Checker->AllowedPad = Mgr.getAnalyzerOptions() in registerPaddingChecker()
351 .getCheckerIntegerOption(Checker, "AllowedPad"); in registerPaddingChecker()
352 if (Checker->AllowedPad < 0) in registerPaddingChecker()
354 Checker, "AllowedPad", "a non-negative value"); in registerPaddingChecker()
HDLLVMConventionsChecker.cpp118 const CheckerBase *Checker; member in __anondf4a6cce0111::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 __anondf4a6cce0211::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 …]
HDCheckObjCInstMethSignature.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<
HDNoOwnershipChangeVisitor.h20 const CheckerBase &Checker; variable
66 NoOwnershipChangeVisitor(SymbolRef Sym, const CheckerBase *Checker) in NoOwnershipChangeVisitor() argument
68 Checker(*Checker) {} in NoOwnershipChangeVisitor()
HDDirectIvarAssignment.cpp52 public Checker<check::ASTDecl<ObjCImplementationDecl> > {
64 const CheckerBase *Checker; member in __anon537c51ae0111::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()
HDCStringSyntaxChecker.cpp33 const CheckerBase *Checker; member in __anon2d5ef4fe0111::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> {
HDIdenticalExprChecker.cpp38 const CheckerBase *Checker; member in __anon9fd296890111::FindIdenticalExprVisitor
42 const CheckerBase *Checker, in FindIdenticalExprVisitor() argument
44 : BR(B), Checker(Checker), AC(A) {} in FindIdenticalExprVisitor()
71 BR.EmitBasicReport(AC->getDecl(), Checker, in reportIdenticalExpr()
120 BR.EmitBasicReport(AC->getDecl(), Checker, "Identical conditions", in VisitIfStmt()
143 BR.EmitBasicReport(AC->getDecl(), Checker, "Identical conditions", in VisitIfStmt()
173 BR.EmitBasicReport(AC->getDecl(), Checker, in VisitIfStmt()
264 BR.EmitBasicReport(AC->getDecl(), Checker, in checkComparisonOp()
286 AC->getDecl(), Checker, in VisitConditionalOperator()
504 class FindIdenticalExprChecker : public Checker<check::ASTCodeBody> {
HDNSErrorChecker.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,
HDObjCContainersASTChecker.cpp29 const CheckerBase *Checker; member in __anonf4ecd0190111::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-14-stable/contrib/llvm-project/clang/utils/TableGen/
HDClangSACheckersEmitter.cpp267 for (const Record *Checker : checkers) { in EmitClangSACheckers() local
268 if (Checker->isValueUnset("Dependencies")) in EmitClangSACheckers()
272 Checker->getValueAsListOfDefs("Dependencies")) { in EmitClangSACheckers()
275 OS.write_escaped(getCheckerFullName(Checker)) << "\", "; in EmitClangSACheckers()
292 for (const Record *Checker : checkers) { in EmitClangSACheckers() local
293 if (Checker->isValueUnset("WeakDependencies")) in EmitClangSACheckers()
297 Checker->getValueAsListOfDefs("WeakDependencies")) { in EmitClangSACheckers()
300 OS.write_escaped(getCheckerFullName(Checker)) << "\", "; in EmitClangSACheckers()
326 for (const Record *Checker : checkers) { in EmitClangSACheckers() local
328 if (Checker->isValueUnset("CheckerOptions")) in EmitClangSACheckers()
[all …]
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/
HDCheckerRegistry.cpp211 auto IsEnabledFromCmdLine = [&](const CheckerInfo *Checker) { in initializeRegistry() argument
212 return !Checker->isDisabled(Mgr); in initializeRegistry()
214 for (const CheckerInfo &Checker : Data.Checkers) { in initializeRegistry() local
215 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
219 if (!collectStrongDependencies(Checker.Dependencies, Mgr, Deps, in initializeRegistry()
229 Tmp.insert(&Checker); in initializeRegistry()
235 auto IsEnabled = [&](const CheckerInfo *Checker) { in initializeRegistry() argument
236 return Tmp.contains(Checker); in initializeRegistry()
238 for (const CheckerInfo &Checker : Data.Checkers) { in initializeRegistry() local
239 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
[all …]
/freebsd-14-stable/contrib/llvm-project/llvm/lib/ExecutionEngine/RuntimeDyld/
HDRuntimeDyldChecker.cpp53 RuntimeDyldCheckerExprEval(const RuntimeDyldCheckerImpl &Checker, in RuntimeDyldCheckerExprEval() argument
55 : Checker(Checker) {} in RuntimeDyldCheckerExprEval()
86 Checker.ErrStream << "Expression '" << Expr << "' is false: " in evaluate()
107 const RuntimeDyldCheckerImpl &Checker; member in llvm::RuntimeDyldCheckerExprEval
170 Checker.ErrStream << "Error evaluating expression '" << Expr in handleError()
251 if (!Checker.isSymbolValid(Symbol)) in evalDecodeOperand()
302 auto TT = Checker.getTripleForSymbol(Checker.getTargetFlag(Symbol)); in evalDecodeOperand()
303 auto TI = getTargetInfo(TT, Checker.getCPU(), Checker.getFeatures()); in evalDecodeOperand()
352 if (!Checker.isSymbolValid(Symbol)) in evalNextPC()
370 ? Checker.getSymbolLocalAddr(Symbol) in evalNextPC()
[all …]
/freebsd-14-stable/contrib/llvm-project/clang/lib/Analysis/plugins/CheckerOptionHandling/
HDCheckerOptionHandling.cpp10 struct MyChecker : public Checker<check::BeginFunction> {
15 MyChecker *Checker = Mgr.registerChecker<MyChecker>(); in registerMyChecker() local
18 Checker, "ExampleOption") in registerMyChecker()

1234567