Home
last modified time | relevance | path

Searched refs:CheckerContext (Results 1 – 25 of 102) sorted by relevance

12345

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp37 void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
38 void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const;
39 void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const;
40 void analyzerNumTimesReached(const CallExpr *CE, CheckerContext &C) const;
41 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
42 void analyzerWarnOnDeadSymbol(const CallExpr *CE, CheckerContext &C) const;
43 void analyzerDump(const CallExpr *CE, CheckerContext &C) const;
44 void analyzerExplain(const CallExpr *CE, CheckerContext &C) const;
45 void analyzerPrintState(const CallExpr *CE, CheckerContext &C) const;
46 void analyzerGetExtent(const CallExpr *CE, CheckerContext &C) const;
[all …]
H A DUnixAPIChecker.cpp48 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
50 void CheckOpen(CheckerContext &C, const CallExpr *CE) const;
51 void CheckOpenAt(CheckerContext &C, const CallExpr *CE) const;
52 void CheckPthreadOnce(CheckerContext &C, const CallExpr *CE) const;
54 void CheckOpenVariant(CheckerContext &C,
57 void ReportOpenBug(CheckerContext &C,
66 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
71 void CheckCallocZero(CheckerContext &C, const CallExpr *CE) const;
72 void CheckMallocZero(CheckerContext &C, const CallExpr *CE) const;
73 void CheckReallocZero(CheckerContext &C, const CallExpr *CE) const;
[all …]
H A DCheckerDocumentation.cpp72 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {} in checkPreStmt()
82 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
91 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPreObjCMessage()
97 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPostObjCMessage()
106 void checkObjCMessageNil(const ObjCMethodCall &M, CheckerContext &C) const {} in checkObjCMessageNil()
118 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall()
124 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall()
127 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {} in checkBranchCondition()
143 CheckerContext &) const {} in checkNewAllocator()
155 CheckerContext &) const {} in checkLocation()
[all …]
H A DAnalysisOrderChecker.cpp49 bool isCallbackEnabled(CheckerContext &C, StringRef CallbackName) const { in isCallbackEnabled()
61 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const { in checkPreStmt()
67 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const { in checkPostStmt()
74 CheckerContext &C) const { in checkPreStmt()
80 CheckerContext &C) const { in checkPostStmt()
85 void checkPreStmt(const CXXNewExpr *NE, CheckerContext &C) const { in checkPreStmt()
90 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const { in checkPostStmt()
95 void checkPreStmt(const CXXDeleteExpr *NE, CheckerContext &C) const { in checkPreStmt()
100 void checkPostStmt(const CXXDeleteExpr *NE, CheckerContext &C) const { in checkPostStmt()
105 void checkPreStmt(const CXXConstructExpr *NE, CheckerContext &C) const { in checkPreStmt()
[all …]
H A DIteratorRangeChecker.cpp37 void verifyDereference(CheckerContext &C, SVal Val) const;
38 void verifyIncrement(CheckerContext &C, SVal Iter) const;
39 void verifyDecrement(CheckerContext &C, SVal Iter) const;
40 void verifyRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
42 void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;
43 void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;
44 void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;
45 void reportBug(const StringRef &Message, SVal Val, CheckerContext &C,
51 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
52 void checkPreStmt(const UnaryOperator *UO, CheckerContext &C) const;
[all …]
H A DInvalidatedIteratorChecker.cpp36 void verifyAccess(CheckerContext &C, const SVal &Val) const;
38 CheckerContext &C, ExplodedNode *ErrNode) const;
42 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
43 void checkPreStmt(const UnaryOperator *UO, CheckerContext &C) const;
44 void checkPreStmt(const BinaryOperator *BO, CheckerContext &C) const;
45 void checkPreStmt(const ArraySubscriptExpr *ASE, CheckerContext &C) const;
46 void checkPreStmt(const MemberExpr *ME, CheckerContext &C) const;
58 CheckerContext &C) const { in checkPreCall()
76 CheckerContext &C) const { in checkPreStmt()
90 CheckerContext &C) const { in checkPreStmt()
[all …]
H A DCastValueChecker.cpp38 DefinedOrUnknownSVal, CheckerContext &)>;
53 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
54 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
78 CheckerContext &C) const;
80 CheckerContext &C) const;
82 CheckerContext &C) const;
84 CheckerContext &C) const;
86 CheckerContext &C) const;
88 CheckerContext &C) const;
90 CheckerContext &C) const;
[all …]
H A DObjCSelfInitChecker.cpp54 static bool isSelfVar(SVal location, CheckerContext &C);
66 void checkForInvalidSelf(const Expr *E, CheckerContext &C,
71 void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const;
72 void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const;
73 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
75 CheckerContext &C) const;
76 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
78 void checkPreCall(const CallEvent &CE, CheckerContext &C) const;
79 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
113 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) { in getSelfFlags()
[all …]
H A DPointerArithChecker.cpp51 AllocKind &AKind, CheckerContext &C) const;
53 CheckerContext &C) const;
54 void reportPointerArithMisuse(const Expr *E, CheckerContext &C,
63 void checkPreStmt(const UnaryOperator *UOp, CheckerContext &C) const;
64 void checkPreStmt(const BinaryOperator *BOp, CheckerContext &C) const;
65 void checkPreStmt(const ArraySubscriptExpr *SubExpr, CheckerContext &C) const;
66 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
67 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
68 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const;
69 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
[all …]
H A DCheckPlacementNew.cpp25 void checkPreStmt(const CXXNewExpr *NE, CheckerContext &C) const;
29 CheckerContext &C) const;
32 CheckerContext &C) const;
36 SVal getExtentSizeOfNewTarget(const CXXNewExpr *NE, CheckerContext &C,
40 SVal getExtentSizeOfPlace(const CXXNewExpr *NE, CheckerContext &C) const;
42 void emitBadAlignReport(const Expr *P, CheckerContext &C,
45 unsigned getStorageAlign(CheckerContext &C, const ValueDecl *VD) const;
47 void checkElementRegionAlign(const ElementRegion *R, CheckerContext &C,
50 void checkFieldRegionAlign(const FieldRegion *R, CheckerContext &C,
53 bool isVarRegionAlignedProperly(const VarRegion *R, CheckerContext &C,
[all …]
H A DDebugIteratorModeling.cpp33 void analyzerIteratorDataField(const CallExpr *CE, CheckerContext &C,
35 void analyzerIteratorPosition(const CallExpr *CE, CheckerContext &C) const;
36 void analyzerIteratorContainer(const CallExpr *CE, CheckerContext &C) const;
37 void analyzerIteratorValidity(const CallExpr *CE, CheckerContext &C) const;
38 ExplodedNode *reportDebugMsg(llvm::StringRef Msg, CheckerContext &C) const;
41 CheckerContext &) const;
55 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
67 CheckerContext &C) const { in evalCall()
82 CheckerContext &C, in analyzerIteratorDataField()
102 CheckerContext &C) const { in analyzerIteratorPosition()
[all …]
H A DStreamChecker.cpp151 const CallEvent &, CheckerContext &)>;
171 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal()
180 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C, in bindAndAssumeTrue()
190 CheckerContext &C, const CallExpr *CE) { in bindInt()
211 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
212 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
213 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
267 CheckerContext &C) const;
270 CheckerContext &C) const;
272 CheckerContext &C) const;
[all …]
H A DVforkChecker.cpp52 bool isVforkCall(const Decl *D, CheckerContext &C) const;
53 bool isCallWhitelisted(const IdentifierInfo *II, CheckerContext &C) const;
55 void reportBug(const char *What, CheckerContext &C,
61 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
62 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
63 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
64 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
82 bool VforkChecker::isVforkCall(const Decl *D, CheckerContext &C) const { in isVforkCall()
97 CheckerContext &C) const { in isCallWhitelisted()
121 void VforkChecker::reportBug(const char *What, CheckerContext &C, in reportBug()
[all …]
H A DIteratorModeling.cpp91 using AdvanceFn = void (IteratorModeling::*)(CheckerContext &, const Expr *,
94 void handleOverloadedOperator(CheckerContext &C, const CallEvent &Call,
96 void handleAdvanceLikeFunction(CheckerContext &C, const CallEvent &Call,
100 void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
103 void processComparison(CheckerContext &C, ProgramStateRef State,
106 void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
108 void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
110 void handleRandomIncrOrDecr(CheckerContext &C, const Expr *CE,
113 void handlePtrIncrOrDecr(CheckerContext &C, const Expr *Iterator,
115 void handleAdvance(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
[all …]
H A DPthreadLockChecker.cpp85 CheckerContext &C,
170 void reportBug(CheckerContext &C, std::unique_ptr<BugType> BT[],
175 void InitAnyLock(const CallEvent &Call, CheckerContext &C,
177 void InitLockAux(const CallEvent &Call, CheckerContext &C,
182 void AcquirePthreadLock(const CallEvent &Call, CheckerContext &C,
184 void AcquireXNULock(const CallEvent &Call, CheckerContext &C,
186 void TryPthreadLock(const CallEvent &Call, CheckerContext &C,
188 void TryXNULock(const CallEvent &Call, CheckerContext &C,
190 void TryFuchsiaLock(const CallEvent &Call, CheckerContext &C,
192 void TryC11Lock(const CallEvent &Call, CheckerContext &C,
[all …]
H A DDebugContainerModeling.cpp33 void analyzerContainerDataField(const CallExpr *CE, CheckerContext &C,
35 void analyzerContainerBegin(const CallExpr *CE, CheckerContext &C) const;
36 void analyzerContainerEnd(const CallExpr *CE, CheckerContext &C) const;
37 ExplodedNode *reportDebugMsg(llvm::StringRef Msg, CheckerContext &C) const;
40 CheckerContext &) const;
52 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
64 CheckerContext &C) const { in evalCall()
79 CheckerContext &C, in analyzerContainerDataField()
119 CheckerContext &C) const { in analyzerContainerBegin()
126 CheckerContext &C) const { in analyzerContainerEnd()
[all …]
H A DTraversalChecker.cpp30 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
31 void checkBeginFunction(CheckerContext &C) const;
32 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
37 CheckerContext &C) const { in checkBranchCondition()
54 void TraversalDumper::checkBeginFunction(CheckerContext &C) const { in checkBeginFunction()
59 CheckerContext &C) const { in checkEndFunction()
77 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
78 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
82 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
95 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
H A DGenericTaintChecker.cpp48 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
49 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
115 const CheckerContext &C) { in create()
144 CheckerContext &C) const;
148 CheckerContext &C) const;
153 CheckerContext &C) const;
156 static bool propagateFromPre(const CallEvent &Call, CheckerContext &C);
160 static bool isStdin(const Expr *E, CheckerContext &C);
163 static Optional<SVal> getPointeeOf(CheckerContext &C, const Expr *Arg);
170 CheckerContext &C) const;
[all …]
H A DCStringChecker.cpp105 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
106 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
108 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
118 typedef void (CStringChecker::*FnCheck)(CheckerContext &,
151 FnCheck identifyCall(const CallEvent &Call, CheckerContext &C) const;
152 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
153 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
154 void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
155 void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
156 void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
[all …]
H A DStackAddrEscapeChecker.cpp48 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
49 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
50 void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const;
54 CheckerContext &C) const;
56 CheckerContext &C) const;
57 void EmitStackError(CheckerContext &C, const MemRegion *R,
63 getCapturedStackRegions(const BlockDataRegion &B, CheckerContext &C);
64 static bool isArcManagedBlock(const MemRegion *R, CheckerContext &C);
65 static bool isNotInCurrentFrame(const MemRegion *R, CheckerContext &C);
114 CheckerContext &C) { in isArcManagedBlock()
[all …]
H A DBasicObjCFoundationChecks.cpp115 CheckerContext &C) const;
117 void warnIfNilArg(CheckerContext &C,
126 CheckerContext &C) const;
129 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
131 CheckerContext &C) const;
133 CheckerContext &C) const;
139 CheckerContext &C) const { in warnIfNilExpr()
149 void NilArgChecker::warnIfNilArg(CheckerContext &C, in warnIfNilArg()
210 CheckerContext &C) const { in generateBugReport()
221 CheckerContext &C) const { in checkPreObjCMessage()
[all …]
H A DMallocChecker.cpp110 static bool printMemFnName(raw_ostream &os, CheckerContext &C, const Expr *E);
208 static bool isReleased(SymbolRef Sym, CheckerContext &C);
213 static ProgramStateRef MallocUpdateRefState(CheckerContext &C, const Expr *E,
320 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
321 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
322 void checkNewAllocator(const CXXAllocatorCall &Call, CheckerContext &C) const;
323 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const;
324 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
325 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
326 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
[all …]
H A DObjCSuperDeallocChecker.cpp41 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
42 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
44 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
47 CheckerContext &C) const;
51 void diagnoseCallArguments(const CallEvent &CE, CheckerContext &C) const;
54 CheckerContext &C) const;
83 CheckerContext &C) const { in checkPreObjCMessage()
108 CheckerContext &C) const { in checkPreCall()
113 CheckerContext &C) const { in checkPostObjCMessage()
131 CheckerContext &C) const { in checkLocation()
[all …]
H A DTestAfterDivZeroChecker.cpp81 void reportBug(SVal Val, CheckerContext &C) const;
84 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
85 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
86 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
87 void setDivZeroMap(SVal Var, CheckerContext &C) const;
88 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
89 bool isZero(SVal S, CheckerContext &C) const;
134 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const { in isZero()
144 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const { in setDivZeroMap()
156 const CheckerContext &C) const { in hasDivZeroMap()
[all …]
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h287 RetainSummaryManager &getSummaryManager(CheckerContext &C) const { in getSummaryManager()
294 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
295 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
296 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
298 void checkPostStmt(const ObjCArrayLiteral *AL, CheckerContext &C) const;
299 void checkPostStmt(const ObjCDictionaryLiteral *DL, CheckerContext &C) const;
300 void checkPostStmt(const ObjCBoxedExpr *BE, CheckerContext &C) const;
302 void checkPostStmt(const ObjCIvarRefExpr *IRE, CheckerContext &C) const;
304 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
307 CheckerContext &C) const;
[all …]

12345