reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
 1548   SVal DstVal = state->getSVal(Dst, LCtx);
 1556   SVal srcVal = state->getSVal(srcExpr, LCtx);
 1588     SVal lenVal = state->getSVal(lenExpr, LCtx);
 1657             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);
 1659             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, *lenValNL);
 1874       Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
 1878   state = state->BindExpr(CE, LCtx, Result);