Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path | IEEE Conference Publication | IEEE Xplore