Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path.

Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song

Browse the full APSEC paper archive.