Customizing Static Analysis using Codesearch. - Avi Hayoun; Veselin Raychev; Jack Hair (CoRR, 2024)