Control flow reconstruction from PowerPC binaries