Uncovering Use-After-Free Conditions in Compiled Code | IEEE Conference Publication | IEEE Xplore