Program Analysis Too Loopy? Set the Loops Aside | IEEE Conference Publication | IEEE Xplore