Home
last modified time | relevance | path

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

12345678

/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/
H A DCheckers.td129 def CallAndMessageModeling : Checker<"CallAndMessageModeling">,
137 def CallAndMessageChecker : Checker<"CallAndMessage">,
192 def DereferenceChecker : Checker<"NullDereference">,
203 def NonNullParamChecker : Checker<"NonNullParamChecker">,
208 def VLASizeChecker : Checker<"VLASize">,
212 def DivZeroChecker : Checker<"DivideZero">,
216 def UndefResultChecker : Checker<"UndefinedBinaryOperatorResult">,
220 def StackAddrEscapeBase : Checker<"StackAddrEscapeBase">,
225 def StackAddrEscapeChecker : Checker<"StackAddressEscape">,
230 def DynamicTypePropagation : Checker<"DynamicTypePropagation">,
[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;
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DCheckerRegistryData.cpp83 static bool isInPackage(const CheckerInfo &Checker, StringRef PackageName) { in isInPackage() argument
85 if (!Checker.FullName.startswith(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 <<()
/openbsd-src/gnu/llvm/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 Name, StringRef Cat,
44 : CheckerName(Checker->getCheckerName()), Description(Name),
45 Category(Cat), Checker(Checker), SuppressOnSink(SuppressOnSink) {}
56 StringRef Ret = Checker ? Checker->getCheckerName() : CheckerName; in getCheckerName()
/openbsd-src/gnu/llvm/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.cpp30 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
50 const NoUncountedMemberChecker *Checker; in checkASTDecl() member
51 explicit LocalVisitor(const NoUncountedMemberChecker *Checker) in checkASTDecl()
52 : Checker(Checker) { in checkASTDecl()
53 assert(Checker); in checkASTDecl()
60 Checker->visitRecordDecl(RD); in checkASTDecl()
H A DRefCntblBaseVirtualDtorChecker.cpp24 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
43 const RefCntblBaseVirtualDtorChecker *Checker; in checkASTDecl() member
44 explicit LocalVisitor(const RefCntblBaseVirtualDtorChecker *Checker) in checkASTDecl()
45 : Checker(Checker) { in checkASTDecl()
46 assert(Checker); in checkASTDecl()
53 Checker->visitCXXRecordDecl(RD); in checkASTDecl()
H A DUncountedCallArgsChecker.cpp30 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
46 const UncountedCallArgsChecker *Checker; in checkASTDecl() member
47 explicit LocalVisitor(const UncountedCallArgsChecker *Checker) in checkASTDecl()
48 : Checker(Checker) { in checkASTDecl()
49 assert(Checker); in checkASTDecl()
56 Checker->visitCallExpr(CE); in checkASTDecl()
H A DUncountedLocalVarsChecker.cpp130 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
146 const UncountedLocalVarsChecker *Checker; in checkASTDecl() member
147 explicit LocalVisitor(const UncountedLocalVarsChecker *Checker) in checkASTDecl()
148 : Checker(Checker) { in checkASTDecl()
149 assert(Checker); in checkASTDecl()
156 Checker->visitVarDecl(V); in checkASTDecl()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DCloneChecker.cpp29 : public Checker<check::ASTCodeBody, check::EndOfTranslationUnit> {
195 auto *Checker = Mgr.registerChecker<CloneChecker>(); in registerCloneChecker() local
197 Checker->MinComplexity = Mgr.getAnalyzerOptions().getCheckerIntegerOption( in registerCloneChecker()
198 Checker, "MinimumCloneComplexity"); in registerCloneChecker()
200 if (Checker->MinComplexity < 0) in registerCloneChecker()
202 Checker, "MinimumCloneComplexity", "a non-negative value"); in registerCloneChecker()
204 Checker->ReportNormalClones = Mgr.getAnalyzerOptions().getCheckerBooleanOption( in registerCloneChecker()
205 Checker, "ReportNormalClones"); in registerCloneChecker()
207 Checker->IgnoredFilesPattern = Mgr.getAnalyzerOptions() in registerCloneChecker()
208 .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 __anon5c3c410d0111::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()
354 auto *Checker = Mgr.registerChecker<PaddingChecker>(); in registerPaddingChecker() local
355 Checker->AllowedPad = Mgr.getAnalyzerOptions() in registerPaddingChecker()
356 .getCheckerIntegerOption(Checker, "AllowedPad"); in registerPaddingChecker()
357 if (Checker->AllowedPad < 0) in registerPaddingChecker()
359 Checker, "AllowedPad", "a non-negative value"); in registerPaddingChecker()
H A DLLVMConventionsChecker.cpp118 const CheckerBase *Checker; member in __anon02181dab0111::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 __anon02181dab0211::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 __anonae7e274b0111::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 DCheckSizeofPointer.cpp26 const CheckerBase *Checker; member in __anonafab13f40111::WalkAST
31 : BR(br), Checker(checker), AC(ac) {} in WalkAST()
66 BR.EmitBasicReport(AC->getDecl(), Checker, in VisitUnaryExprOrTypeTraitExpr()
80 class SizeofPointerChecker : public Checker<check::ASTCodeBody> {
H A DCStringSyntaxChecker.cpp33 const CheckerBase *Checker; member in __anon8860ca9b0111::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 __anonfad46c260111::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> {
/openbsd-src/gnu/llvm/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 …]
/openbsd-src/gnu/llvm/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 llvm::is_contained(Tmp, Checker); in initializeRegistry()
238 for (const CheckerInfo &Checker : Data.Checkers) { in initializeRegistry() local
239 if (!Checker.isEnabled(Mgr)) in initializeRegistry()
[all …]
/openbsd-src/gnu/usr.bin/perl/dist/Attribute-Handlers/demo/
H A Ddemo_phases.pl9 sub UNIVERSAL::Checker : ATTR(CHECK,SCALAR)
17 my $x :Initer(1) :Checker(2) :Beginner(3);
18 my $y :Initer(4) :Checker(5) :Beginner(6);
/openbsd-src/gnu/llvm/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()
/openbsd-src/gnu/llvm/llvm/lib/ExecutionEngine/RuntimeDyld/
H A DRuntimeDyldChecker.cpp33 RuntimeDyldCheckerExprEval(const RuntimeDyldCheckerImpl &Checker, in RuntimeDyldCheckerExprEval() argument
35 : Checker(Checker) {} in RuntimeDyldCheckerExprEval()
66 Checker.ErrStream << "Expression '" << Expr << "' is false: " in evaluate()
87 const RuntimeDyldCheckerImpl &Checker; member in llvm::RuntimeDyldCheckerExprEval
150 Checker.ErrStream << "Error evaluating expression '" << Expr in handleError()
231 if (!Checker.isSymbolValid(Symbol)) in evalDecodeOperand()
287 Inst.dump_pretty(ErrMsgStream, Checker.InstPrinter); in evalDecodeOperand()
297 Inst.dump_pretty(ErrMsgStream, Checker.InstPrinter); in evalDecodeOperand()
319 if (!Checker.isSymbolValid(Symbol)) in evalNextPC()
337 ? Checker.getSymbolLocalAddr(Symbol) in evalNextPC()
[all …]

12345678