DynaMIR is a dynamic binary instrumentation engine for x86-64, ARM64, and RISC-V64. It lifts machine code into a custom MLIR-based intermediate representation, applies instrumentation, and lowers the result back into executable instructions.
Conceptually similar to QBDI, DynaMIR is designed around a modern, composable IR and integrates directly with MCStone and LIEF. It provides the execution layer for tracing, program analysis, and trace-based workflows.