Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Arg

1139   const Expr *Arg = CE->getArg(0);
1140 SVal ArgVal = state->getSVal(Arg, LCtx);
1142 state = checkNonNull(C, state, Arg, ArgVal);
1147 SVal strLength = getCStringLength(C, state, Arg, ArgVal);
1346 // strLength copied is the max number arg.