64     bool isSymbolTracked(ProgramStateRef State, SymbolRef Sym) {  in isSymbolTracked()  argument
65       RawPtrMapTy Map = State->get<RawPtrMap>();  in isSymbolTracked()
96   void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,
103   void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State,
135                                                  ProgramStateRef State,  in markPtrSymbolsReleased()  argument
138   if (const PtrSet *PS = State->get<RawPtrMap>(MR)) {  in markPtrSymbolsReleased()
143       State = allocation_state::markReleased(State, Symbol, Origin);  in markPtrSymbolsReleased()
145     State = State->remove<RawPtrMap>(MR);  in markPtrSymbolsReleased()
146     C.addTransition(State);  in markPtrSymbolsReleased()
152                                                  ProgramStateRef State,  in checkFunctionArguments()  argument
176       markPtrSymbolsReleased(Call, State, ArgRegion, C);  in checkFunctionArguments()
197   ProgramStateRef State = C.getState();  in checkPostCall()  local
212         PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>();  in checkPostCall()
213         const PtrSet *SetPtr = State->get<RawPtrMap>(ObjRegion);  in checkPostCall()
218         State = State->set<RawPtrMap>(ObjRegion, Set);  in checkPostCall()
219         C.addTransition(State);  in checkPostCall()
226       markPtrSymbolsReleased(Call, State, ObjRegion, C);  in checkPostCall()
232   checkFunctionArguments(Call, State, C);  in checkPostCall()
237   ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
238   PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>();  in checkDeadSymbols()
239   RawPtrMapTy RPM = State->get<RawPtrMap>();  in checkDeadSymbols()
244       State = State->remove<RawPtrMap>(Entry.first);  in checkDeadSymbols()
246     if (const PtrSet *OldSet = State->get<RawPtrMap>(Entry.first)) {  in checkDeadSymbols()
252       State = CleanedUpSet.isEmpty()  in checkDeadSymbols()
253                   ? State->remove<RawPtrMap>(Entry.first)  in checkDeadSymbols()
254                   : State->set<RawPtrMap>(Entry.first, CleanedUpSet);  in checkDeadSymbols()
257   C.addTransition(State);  in checkDeadSymbols()
268 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym) {  in getContainerObjRegion()  argument
269   RawPtrMapTy Map = State->get<RawPtrMap>();  in getContainerObjRegion()