Bridging Static and Dynamic Analysis using IBCs (S). - Imran Pinjari; Vaishnavi Kattula; Michael Shin (SEKE, 2025)