Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries