2 ms·Flow Sensitivity Without CFG: An Efficient Andersen-Style Pointer Analysis1 points by matt_d 1y ago