Angr - The Next Generation of Binary Analysis | IEEE Conference Publication | IEEE Xplore