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

Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue

Browse the full ISSTA paper archive.