Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables
IEEE Transactions on Software Engineering
Using de-optimization to re-optimize code
Proceedings of the 5th ACM international conference on Embedded software
Link-time binary rewriting techniques for program compaction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |
EPIC (Explicitly Parallel Instruction Computing) architectures,exemplified by the Intel Itanium, support a numberof advanced architectural features, such as explicitinstruction-level parallelism, instruction predication, andspeculative loads from memory. However, compiler optimizationsto take advantage of such architectural featurescan profoundly restructure the program's code, makingit potentially difficult to reconstruct the original programlogic from an optimized Itanium executable. This paperdescribes techniques to undo some of the effects of suchoptimizations and thereby improve the quality of reverse engineeringsuch executables.