  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 applications have two fundamental limitations. First,
they assume explicit boundaries between the host and the guest language to
determine inter-language dataflows. Second, they rely on specific analyses of
the host and guest languages. The former assumption is impractical concerning
recent advancements in polyglot programming techniques, while the latter
disregards advances in pointer analysis of the underlying languages. In this
work, we propose to extend existing pointer analyses with a novel summary
specialization technique so that points-to set across language boundaries can
be unified. Our novel technique leverages various combinations of host and
guest analyses with minor modifications. We demonstrate the efficacy and
generalizability of our approach by evaluating it with two polyglot language
models: Java-C communication via Android's NDK and Java-Python communication in
GraalVM.
