Binary rewriting is changing the semantics of a program without having the source code at
hand. It is used for diverse purposes, such as emulation (eg, QEMU), optimization (eg …

Malicious code is an increasingly important problem that threatens the security of computer
systems. The traditional line of defense against malware is composed of malware detectors …

Static binary rewriting is a core technology for many systems and security applications,
including profiling, optimization, and software fault isolation. While many static binary …

Disassembly is fundamental to binary analysis and rewriting. We present a novel
disassembly technique that takes a stripped binary and produces reassembleable assembly …

Peephole optimizers are typically constructed using human-written pattern matching rules,
an approach that requires expertise and time, as well as being less than systematic at …

Software fault isolation (SFI) is an effective mechanism to confine untrusted modules inside
isolated domains to protect their host applications. Since its debut, researchers have …

Binary lifting and recompilation allow a wide range of install-time program transformations,
such as security hardening, deobfuscation, and reoptimization. Existing binary lifting tools …

This paper presents component techniques essential for converting executables to a high-
level intermediate representation (IR) of an existing compiler. The compiler IR is then …

Execution indexing uniquely identifies a point in an execution. Desirable execution indices
reveal correlations between points in an execution and establish correspondence between …

While profile guided optimizations (PGO) and link time optimiza-tions (LTO) have been
widely adopted, post link optimizations (PLO) have languished until recently when …