Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe)

10/02/2008

∙

Valgrind is a widely used framework for dynamic binary instrumentation and its mostly known by its memcheck tool. Valgrind's code generation module is far from producing optimal code. In addition it has many backends for different CPU architectures, which difficults code optimization in an architecture independent way. Our work focused on identifying sub-optimal code produced by Valgrind and optimizing it.

READ FULL TEXT

Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe)

POSET-RL: Phase ordering for Optimizing Size and Execution Time using Reinforcement Learning

A graphical representation of binary linear codes

Sphinx: A Secure Architecture Based on Binary Code Diversification and Execution Obfuscation

SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask

The National Corpus of Contemporary Welsh: Project Report | Y Corpws Cenedlaethol Cymraeg Cyfoes: Adroddiad y Prosiect

Planning Courses for Student Success at the American College of Greece

NOMAD version 4: Nonlinear optimization with the MADS algorithm

Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe)

Related Research

POSET-RL: Phase ordering for Optimizing Size and Execution Time using Reinforcement Learning

A graphical representation of binary linear codes

Sphinx: A Secure Architecture Based on Binary Code Diversification and Execution Obfuscation

SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask

The National Corpus of Contemporary Welsh: Project Report | Y Corpws Cenedlaethol Cymraeg Cyfoes: Adroddiad y Prosiect

Planning Courses for Student Success at the American College of Greece

NOMAD version 4: Nonlinear optimization with the MADS algorithm