Profile-based type reconstruction for decompilation | IEEE Conference Publication | IEEE Xplore