Searched refs:markPtrSymbolsReleased (Results 1 – 1 of 1) sorted by relevance
100 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,140 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, in markPtrSymbolsReleased() function in InnerPointerChecker187 markPtrSymbolsReleased(Call, State, ArgRegion, C); in checkFunctionArguments()219 markPtrSymbolsReleased(Call, State, ObjRegion, C); in checkPostCall()