Searched refs:srcExpr (Results 1 – 1 of 1) sorted by relevance
| /NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| HD | CStringChecker.cpp | 1344 const Expr *srcExpr = CE->getArg(1); in evalStrcpyCommon() local
1345 SVal srcVal = state->getSVal(srcExpr, LCtx); in evalStrcpyCommon()
1346 state = checkNonNull(C, state, srcExpr, srcVal); in evalStrcpyCommon()
1351 SVal strLength = getCStringLength(C, state, srcExpr, srcVal); in evalStrcpyCommon()
1627 state = InvalidateBuffer(C, state, srcExpr, srcVal, /*IsSourceBuffer*/true); in evalStrcpyCommon()
|