Setting Up NEMU and QEMU Differential Testing with Dynamic Library Integration
Overview
This guide covers setting up a differential testing environment where:
QEMU serves as the reference implementation (REF)
NEMU serves as the device under test (DUT)
Test environment: Ubuntu 18.04.5 LTS
Building NEMU
First, install the required dependencies:
apt install build-essential man gcc gdb git libreadline-dev libsdl2-dev zstd l ...
Posted on Tue, 23 Jun 2026 17:30:28 +0000 by nickman013
Debugging Techniques for DiffTest Between NEMU and QEMU
Logging Execution Traces
QEMU Logging
Enable instruction logging in QEMU with these launch parameters:
-d in_asm -D ./qemu.log
For additional CPU register output, include the cpu parameter: -d in_asm,cpu.
NEMU Logging
Configure NEMU during compilation via make menuconfig:
Testing and Debugging -> [*] Enable debug features: instruction traci ...
Posted on Fri, 19 Jun 2026 17:51:47 +0000 by carsale