Robuta

https://www.amazon.science/publications/lifting-on-demand-analysis-to-higher-order-languages Lifting on-demand analysis to higher-order languages - Amazon Science In this paper, we present an approach to lift on-demand analysis to higher-order languages. Specifically, our approach bootstraps an on-demand call graph... on demandamazon scienceliftinganalysishigher