REcompile: A decompilation framework for static analysis of binaries | IEEE Conference Publication | IEEE Xplore