Lines Matching full:state
99 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
101 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,
221 ProgramStateRef state = C.getState();
227 state = state->BindExpr(CE, C.getLocationContext(), RetVal);
230 // Bifurcate the state into two: one with a valid FILE* pointer, the other
233 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
236 // if RetVal is not NULL, set the symbol's state to Opened.
248 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C);
249 if (state)
250 C.addTransition(state);
254 ProgramStateRef state = C.getState();
255 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
256 state, C))
261 ProgramStateRef state = C.getState();
262 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
263 state, C))
268 ProgramStateRef state = C.getState();
269 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0),
270 C.getLocationContext()), state, C)))
273 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
283 if (ExplodedNode *N = C.addTransition(state)) {
295 ProgramStateRef state = C.getState();
296 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
297 state, C))
302 ProgramStateRef state = C.getState();
303 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
304 state, C))
309 ProgramStateRef state = C.getState();
310 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
311 state, C))
316 ProgramStateRef state = C.getState();
317 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
318 state, C))
323 ProgramStateRef state = C.getState();
324 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
325 state, C))
330 ProgramStateRef state = C.getState();
331 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
332 state, C))
337 ProgramStateRef state = C.getState();
338 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
339 state, C))
344 ProgramStateRef state = C.getState();
345 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
346 state, C))
350 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state,
358 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
374 ProgramStateRef state,
377 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsSymbol();
379 return state;
381 const StreamState *SS = state->get<StreamState>(Sym);
385 return state;
404 return state->set<StreamState>(Sym, StreamState::getClosed(CE));
412 ProgramStateRef state = C.getState();
413 const StreamState *SS = state->get<StreamState>(Sym);
432 ProgramStateRef state = Ctx.getState();
434 SymMap M = state->get<StreamState>();
439 ExplodedNode *N = Ctx.addTransition(state);
457 ProgramStateRef state = C.getState();
458 SymbolRef Sym = state->getSVal(RetE, C.getLocationContext()).getAsSymbol();
463 const StreamState *SS = state->get<StreamState>(Sym);
468 state = state->set<StreamState>(Sym, StreamState::getEscaped(S));
470 C.addTransition(state);
