80   ProgramStateRef checkPointerEscape(ProgramStateRef State,
132   ProgramStateRef State = C.getState();  in checkPostCall()  local
133   State = State->set<StreamMap>(FileDesc, StreamState::getOpened());  in checkPostCall()
134   C.addTransition(State);  in checkPostCall()
151   ProgramStateRef State = C.getState();  in checkPreCall()  local
152   const StreamState *SS = State->get<StreamMap>(FileDesc);  in checkPreCall()
159   State = State->set<StreamMap>(FileDesc, StreamState::getClosed());  in checkPreCall()
160   C.addTransition(State);  in checkPreCall()
164                      bool IsSymDead, ProgramStateRef State) {  in isLeaked()  argument
168     ConstraintManager &CMgr = State->getConstraintManager();  in isLeaked()
169     ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym);  in isLeaked()
177   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
179   StreamMapTy TrackedStreams = State->get<StreamMap>();  in checkDeadSymbols()
186     if (isLeaked(Sym, I->second, IsSymDead, State))  in checkDeadSymbols()
191       State = State->remove<StreamMap>(Sym);  in checkDeadSymbols()
194   ExplodedNode *N = C.generateNonFatalErrorNode(State);  in checkDeadSymbols()
248 SimpleStreamChecker::checkPointerEscape(ProgramStateRef State,  in checkPointerEscape()  argument
254     return State;  in checkPointerEscape()
264     State = State->remove<StreamMap>(Sym);  in checkPointerEscape()
266   return State;  in checkPointerEscape()