Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T) | IEEE Conference Publication | IEEE Xplore