ByNobleID
    Summary-Based Pointer Analysis Framework for Modular Bug Finding | NobleID