Searched refs:markPtrSymbolsReleased (Results 1 – 1 of 1) sorted by relevance
99 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,132 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, in markPtrSymbolsReleased() function in InnerPointerChecker179 markPtrSymbolsReleased(Call, State, ArgRegion, C); in checkFunctionArguments()211 markPtrSymbolsReleased(Call, State, ObjRegion, C); in checkPostCall()