Lines Matching refs:CheckerContext
18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
41 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
42 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
44 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
52 typedef void (CStringChecker::*FnCheck)(CheckerContext &,
55 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
56 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
57 void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
58 void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
59 void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
65 void evalMemcmp(CheckerContext &C, const CallExpr *CE) const;
67 void evalstrLength(CheckerContext &C, const CallExpr *CE) const;
68 void evalstrnLength(CheckerContext &C, const CallExpr *CE) const;
69 void evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,
72 void evalStrcpy(CheckerContext &C, const CallExpr *CE) const;
73 void evalStrncpy(CheckerContext &C, const CallExpr *CE) const;
74 void evalStpcpy(CheckerContext &C, const CallExpr *CE) const;
75 void evalStrcpyCommon(CheckerContext &C, const CallExpr *CE, bool returnEnd,
78 void evalStrcat(CheckerContext &C, const CallExpr *CE) const;
79 void evalStrncat(CheckerContext &C, const CallExpr *CE) const;
81 void evalStrcmp(CheckerContext &C, const CallExpr *CE) const;
82 void evalStrncmp(CheckerContext &C, const CallExpr *CE) const;
83 void evalStrcasecmp(CheckerContext &C, const CallExpr *CE) const;
84 void evalStrncasecmp(CheckerContext &C, const CallExpr *CE) const;
85 void evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,
90 static assumeZero(CheckerContext &C,
95 static SVal getCStringLengthForRegion(CheckerContext &C,
99 SVal getCStringLength(CheckerContext &C, const GRState *&state,
103 const StringLiteral *getCStringLiteral(CheckerContext &C,
108 static const GRState *InvalidateBuffer(CheckerContext &C,
116 const GRState *checkNonNull(CheckerContext &C, const GRState *state,
118 const GRState *CheckLocation(CheckerContext &C, const GRState *state,
121 const GRState *CheckBufferAccess(CheckerContext &C, const GRState *state,
128 const GRState *CheckBufferAccess(CheckerContext &C, const GRState *state,
136 const GRState *CheckOverlap(CheckerContext &C, const GRState *state,
139 void emitOverlapBug(CheckerContext &C, const GRState *state,
141 const GRState *checkAdditionOverflow(CheckerContext &C, const GRState *state,
166 CStringChecker::assumeZero(CheckerContext &C, const GRState *state, SVal V,
177 const GRState *CStringChecker::checkNonNull(CheckerContext &C,
217 const GRState *CStringChecker::CheckLocation(CheckerContext &C,
290 const GRState *CStringChecker::CheckBufferAccess(CheckerContext &C,
362 const GRState *CStringChecker::CheckOverlap(CheckerContext &C,
473 void CStringChecker::emitOverlapBug(CheckerContext &C, const GRState *state,
492 const GRState *CStringChecker::checkAdditionOverflow(CheckerContext &C,
600 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,
625 SVal CStringChecker::getCStringLength(CheckerContext &C, const GRState *&state,
719 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,
739 const GRState *CStringChecker::InvalidateBuffer(CheckerContext &C,
813 void CStringChecker::evalCopyCommon(CheckerContext &C,
913 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {
922 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {
931 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {
940 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {
946 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {
1014 void CStringChecker::evalstrLength(CheckerContext &C,
1020 void CStringChecker::evalstrnLength(CheckerContext &C,
1026 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,
1150 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {
1158 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {
1166 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {
1174 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {
1182 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {
1190 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,
1492 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {
1497 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {
1502 void CStringChecker::evalStrcasecmp(CheckerContext &C,
1508 void CStringChecker::evalStrncasecmp(CheckerContext &C,
1514 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,
1640 bool CStringChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
1690 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {
1798 CheckerContext &C) const {
