Reconstructing Control Flow from Predicated Assembly Code. - Björn Decker 002; Daniel Kästner (SCOPES, 2003)