Home
last modified time | relevance | path

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

1234567

/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DCheckers.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 …]
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;
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerRegistryData.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 …]
H A DChecker.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 <<()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugType.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()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/
H A DUncountedLambdaCapturesChecker.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()
H A DNoUncountedMembersChecker.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()
H A DUncountedLocalVarsChecker.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()
H A DUncountedCallArgsChecker.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()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCloneChecker.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()
H A DDebugCheckers.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 …]
H A DCastToStructChecker.cpp28 const CheckerBase *Checker; member in __anon3252e98b0111::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.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()
H A DLLVMConventionsChecker.cpp118 const CheckerBase *Checker; member in __anon84d2dd690111::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 __anon84d2dd690211::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 __anon4769df890111::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 CheckerBase &Checker; variable
66 NoOwnershipChangeVisitor(SymbolRef Sym, const CheckerBase *Checker) in NoOwnershipChangeVisitor() argument
68 Checker(*Checker) {} in NoOwnershipChangeVisitor()
H A DCStringSyntaxChecker.cpp33 const CheckerBase *Checker; member in __anon214c82d90111::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 DIdenticalExprChecker.cpp38 const CheckerBase *Checker; member in __anon93c024640111::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> {
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 __anon1e53d3740111::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> {
/src/contrib/llvm-project/clang/utils/TableGen/
H A DClangSACheckersEmitter.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 …]
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/
H A DCheckerRegistry.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 …]
/src/contrib/llvm-project/llvm/lib/ExecutionEngine/RuntimeDyld/
H A DRuntimeDyldChecker.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 …]
/src/contrib/llvm-project/clang/lib/Analysis/plugins/CheckerOptionHandling/
H A DCheckerOptionHandling.cpp10 struct MyChecker : public Checker<check::BeginFunction> {
15 MyChecker *Checker = Mgr.registerChecker<MyChecker>(); in registerMyChecker() local
18 Checker, "ExampleOption") in registerMyChecker()

1234567