Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization

Jyoti Prakash, Abhishek Tiwari, Christian Hammer

Modular analysis of polyglot applications is challenging because heap object flows across language boundaries must be resolved. The state-of-the-art analyses for polyglot applicati…