[PATCH] D71155: [analyzer] CERT: StrChecker: 30.c

Charusso updated this revision to Diff 233905. Charusso marked 6 inline comments as done. Charusso added a comment. - Try to conjure the index of the 'ElementRegion'. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D71155/new/ https://reviews.llvm.org/D71155 Files:

[PATCH] D71155: [analyzer] CERT: StrChecker: 30.c

NoQ added inline comments. Comment at: clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp:2110 +if (const auto *SR = MR->getBaseRegion()->getAs()) { + State = State->BindExpr(CE, LCtx, SrcV); + C.addTransition(State); Charusso wrote: > NoQ wrote:

[PATCH] D71155: [analyzer] CERT: StrChecker: 30.c

Charusso marked 2 inline comments as done. Charusso added inline comments. Comment at: clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp:2109 + if (const MemRegion *MR = SrcV.getAsRegion()) { +if (const auto *SR = MR->getBaseRegion()->getAs()) { + State =

[PATCH] D71155: [analyzer] CERT: StrChecker: 30.c

NoQ added inline comments. Comment at: clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp:2109 + if (const MemRegion *MR = SrcV.getAsRegion()) { +if (const auto *SR = MR->getBaseRegion()->getAs()) { + State = State->BindExpr(CE, LCtx, SrcV); Why does

[PATCH] D71155: [analyzer] CERT: StrChecker: 30.c

Charusso created this revision. Charusso added a reviewer: NoQ. Charusso added a project: clang. Herald added subscribers: cfe-commits, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Charusso added a comment. Charusso added a parent revision:

[PATCH] D71155: [analyzer] CERT: StrChecker: 30.c

Charusso added a comment. Examples generated by CodeChecker from the `curl` project: F10986729: str30-c.tar.gz Repository: rC Clang CHANGES SINCE LAST ACTION https://reviews.llvm.org/D71155/new/ https://reviews.llvm.org/D71155