Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness

@article{Smithson2013StaticBR,
  title={Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness},
  author={Matthew Smithson and Khaled Elwazeer and Kapil Anand and Aparna Kotha and Rajeev Barua},
  journal={2013 20th Working Conference on Reverse Engineering (WCRE)},
  year={2013},
  pages={52-61}
}
Binary rewriting is the process of transforming executables by maintaining the original binary's functionality, while improving it in one or more metrics, such as energy use, memory use, security, or reliability. Although several technologies for rewriting binaries exist, static rewriting allows for arbitrarily complex transformations to be performed. Other technologies, such as dynamic or minimally-invasive rewriting, are limited in their transformation ability. We have designed the first… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 27 references

LLVM: a compilation framework for lifelong program analysis & transformation

International Symposium on Code Generation and Optimization, 2004. CGO 2004. • 2004
View 2 Excerpts
Highly Influenced

Automatic Parallelization in a Binary Rewriter

2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture • 2010
View 3 Excerpts

BIRD: binary interpretation using runtime disassembly

International Symposium on Code Generation and Optimization (CGO'06) • 2006
View 1 Excerpt

DIABLO: a reliable, retargetable and extensible link-time rewriting framework

Proceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005. • 2005
View 2 Excerpts

Similar Papers

Loading similar papers…