Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis Conference proceeding (July 2023)