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