Practical and accurate low-level pointer analysis | IEEE Conference Publication | IEEE Xplore