StaticAnalyzer/Checkers/CStringChecker.cpp

84 static QualType getCharPtrType(ASTContext &Ctx, CharKind CK) {
85   return Ctx.getPointerType(CK == CharKind::Regular ? Ctx.CharTy
185   void evalMemcpy(CheckerContext &C, const CallExpr *CE, CharKind CK) const;
186   void evalMempcpy(CheckerContext &C, const CallExpr *CE, CharKind CK) const;
187   void evalMemmove(CheckerContext &C, const CallExpr *CE, CharKind CK) const;
192                       bool Restricted, bool IsMempcpy, CharKind CK) const;
194   void evalMemcmp(CheckerContext &C, const CallExpr *CE, CharKind CK) const;
274                                 CharKind CK = CharKind::Regular) const;
278                                     CharKind CK = CharKind::Regular) const;
282                                CharKind CK = CharKind::Regular) const;
366                                               CharKind CK) const {
387   if (CK == CharKind::Regular) {
444                                   AccessKind Access, CharKind CK) const {
453   QualType PtrTy = getCharPtrType(Ctx, CK);
487     State = CheckLocation(C, State, Buffer, BufEnd, Access, CK);
502                                              CharKind CK) const {
581   QualType CharPtrTy = getCharPtrType(Ctx, CK);
1217                                     bool IsMempcpy, CharKind CK) const {
1260     state = CheckBufferAccess(C, state, Dest, Size, AccessKind::write, CK);
1261     state = CheckBufferAccess(C, state, Source, Size, AccessKind::read, CK);
1264       state = CheckOverlap(C, state, Size, Dest, Source, CK);
1275       QualType CharPtrTy = getCharPtrType(Ctx, CK);
1315                                 CharKind CK) const {
1326   evalCopyCommon(C, CE, State, Size, Dest, Src, IsRestricted, IsMempcpy, CK);
1330                                  CharKind CK) const {
1340                  CK);
1344                                  CharKind CK) const {
1354                  CK);
1370                                 CharKind CK) const {
1430     State = CheckBufferAccess(C, State, Right, Size, AccessKind::read, CK);
1431     State = CheckBufferAccess(C, State, Left, Size, AccessKind::read, CK);