63   ProgramStateRef checkPointerEscape(ProgramStateRef State,
69   void printState(raw_ostream &Out, ProgramStateRef State,
208   ProgramStateRef State = C.getState();  in getAsPointeeSymbol()  local
213     SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol();  in getAsPointeeSymbol()
226   ProgramStateRef State = C.getState();  in generateDeallocatorMismatchReport()  local
227   State = State->remove<AllocatedData>(AP.first);  in generateDeallocatorMismatchReport()
228   ExplodedNode *N = C.generateNonFatalErrorNode(State);  in generateDeallocatorMismatchReport()
250   ProgramStateRef State = C.getState();  in checkPreStmt()  local
269       if (const AllocationState *AS = State->get<AllocatedData>(V)) {  in checkPreStmt()
272         State = State->remove<AllocatedData>(V);  in checkPreStmt()
273         ExplodedNode *N = C.generateNonFatalErrorNode(State);  in checkPreStmt()
322   const AllocationState *AS = State->get<AllocatedData>(ArgSM);  in checkPreStmt()
334     ExplodedNode *N = C.generateNonFatalErrorNode(State);  in checkPreStmt()
376       State = State->remove<AllocatedData>(ArgSM);  in checkPreStmt()
377       C.addTransition(State);  in checkPreStmt()
386   State = State->remove<AllocatedData>(ArgSM);  in checkPreStmt()
396   C.addTransition(State);  in checkPreStmt()
401   ProgramStateRef State = C.getState();  in checkPostStmt()  local
437     State = State->set<AllocatedData>(V, AllocationState(ArgExpr, idx,  in checkPostStmt()
439     assert(State);  in checkPostStmt()
440     C.addTransition(State);  in checkPostStmt()
502 ProgramStateRef MacOSKeychainAPIChecker::evalAssume(ProgramStateRef State,  in evalAssume()  argument
505   AllocatedDataTy AMap = State->get<AllocatedData>();  in evalAssume()
507     return State;  in evalAssume()
511     return State;  in evalAssume()
514     return State;  in evalAssume()
532         State = State->remove<AllocatedData>(I->first);  in evalAssume()
535   return State;  in evalAssume()
540   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
541   AllocatedDataTy AMap = State->get<AllocatedData>();  in checkDeadSymbols()
552     State = State->remove<AllocatedData>(I->first);  in checkDeadSymbols()
554     ConstraintManager &CMgr = State->getConstraintManager();  in checkDeadSymbols()
555     ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey());  in checkDeadSymbols()
562     C.addTransition(State);  in checkDeadSymbols()
576   C.addTransition(State, N);  in checkDeadSymbols()
580     ProgramStateRef State, const InvalidatedSymbols &Escaped,  in checkPointerEscape()  argument
585     return State;  in checkPointerEscape()
587   for (auto I : State->get<AllocatedData>()) {  in checkPointerEscape()
590       State = State->remove<AllocatedData>(Sym);  in checkPointerEscape()
611         State = State->remove<AllocatedData>(Sym);  in checkPointerEscape()
614   return State;  in checkPointerEscape()
647                                          ProgramStateRef State,  in printState()  argument
651   AllocatedDataTy AMap = State->get<AllocatedData>();  in printState()