ByNobleID
    Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting | NobleID