Home
last modified time | relevance | path

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

12345

/freebsd/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;
/freebsd/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()
H A DRefCntblBaseVirtualDtorChecker.cpp125 : public Checker<check::ASTDecl<TranslationUnitDecl>> {
144 const RefCntblBaseVirtualDtorChecker *Checker; in checkASTDecl() member
145 explicit LocalVisitor(const RefCntblBaseVirtualDtorChecker *Checker) in checkASTDecl()
146 : Checker(Checker) { in checkASTDecl()
147 assert(Checker); in checkASTDecl()
/freebsd/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 …]
/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.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 __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 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 __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 DIdenticalExprChecker.cpp38 const CheckerBase *Checker; member in __anon00b411af0111::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 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> {
H A DPointerIterationChecker.cpp28 class PointerIterationChecker : public Checker<check::ASTCodeBody> {
37 const PointerIterationChecker *Checker) { in emitDiagnostics() argument
52 BR.EmitBasicReport(ADC->getDecl(), Checker, in emitDiagnostics()
H A DSmartPtrChecker.cpp35 class SmartPtrChecker : public Checker<check::PreCall> {
101 SmartPtrChecker *Checker = Mgr.registerChecker<SmartPtrChecker>(); in registerSmartPtrChecker() local
102 NullDereferenceBugTypePtr = &Checker->NullDereferenceBugType; in registerSmartPtrChecker()
H A DPointerSortingChecker.cpp28 class PointerSortingChecker : public Checker<check::ASTCodeBody> {
37 const PointerSortingChecker *Checker) { in emitDiagnostics() argument
52 BR.EmitBasicReport(ADC->getDecl(), Checker, in emitDiagnostics()
H A DSTLAlgorithmModeling.cpp27 class STLAlgorithmModeling : public Checker<eval::Call> {
193 auto *Checker = Mgr.registerChecker<STLAlgorithmModeling>(); in registerSTLAlgorithmModeling() local
194 Checker->AggressiveStdFindModeling = in registerSTLAlgorithmModeling()
195 Mgr.getAnalyzerOptions().getCheckerBooleanOption(Checker, in registerSTLAlgorithmModeling()
H A DOSObjectCStyleCast.cpp30 class OSObjectCStyleCastChecker : public Checker<check::ASTCodeBody> {
54 const OSObjectCStyleCastChecker *Checker) { in emitDiagnostics() argument
68 Checker, in emitDiagnostics()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
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 <<()
/freebsd/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 …]
/freebsd/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()

12345