Practical Indirect Control Flow Analysis for Binary Executables