Automated software testing based on fuzzing has experienced a revival in recent years.
Especially feedback-driven fuzzing has become well-known for its ability to efficiently …

Static binary rewriting has many important applications in software security and systems,
such as hardening, repair, patching, instrumentation, and debugging. While many different …

Instrumentation is vital to fuzzing. It provides fuzzing directions and helps detect covert bugs,
yet its overhead greatly reduces the fuzzing throughput. To reduce the overhead, compilers …

Trusted execution environments (TEEs) provide an environment for running workloads in the
cloud without having to trust cloud service providers, by offering additional hardware …

This paper presents zpoline, a system call hook mechanism for x86-64 CPUs. zpoline
employs binary rewriting and offers seven advantages: 1) low hook overhead, 2) exhaustive …

Memory errors, such as buffer overflows and use-after-free, remain the root cause of many
security vulnerabilities in modern software. The use of closed source software further …

Modify the ELF type from ET_EXEC to ET_DYN in the ELF header. typedef struct elf64_shdr
{Elf64_Word sh_name;/* Section name, index in string tbl*/Elf64_Word sh_type; …

Binary rewriting consists in disassembling a program to modify its instructions. However,
existing solutions suffer from shortcomings in terms of soundness and performance. We …

In the embedded domain, industrial sectors (ie, automotive industry, avionics) are
undergoing radical changes. They broadly adopt commodity hardware and move away from …

Greybox fuzzing is an effective method for software testing. Greybox fuzzers, such as AFL,
use instrumentation that collects path coverage information in order to guide the fuzzing …