When analyzing code, one may encounter anonymous functions used in a variety of ways. Often, they will be seen used with higher-order functions, either passed as arguments or returned. In the former case, a static analyzer must be able to account for the effects an anonymous function would have when passed to an higher-order function to identify the effects of said higher-order function. In this talk, we will present function specialization to show how Infer fulfills this above requirement for Objective-C and then how Pulse goes even further using the same technique.