Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis