Real world applications make heavy use of powerful libraries and frameworks, posing a significant challenge for static analysis as the library implementation may be very complex or unavailable. Thus, obtaining specifications that summarize the behaviors of the library is important as it enables static analyzers to precisely track the effects of APIs on the client program, without requiring the actual API implementation.

PLDI research paper presentation.
https://pldi19.sigplan.org/details/pldi-2019-papers/19/Unsupervised-Learning-of-API-Aliasing-Specifications