We present a DWARF-6 expression evaluator implemented in OCaml. The evaluator is concise and lightweight. It aims to help tool developers learn and understand DWARF by examining the precise definitions of DWARF operators and by running examples. We believe this will be useful in particular with the "locations on the stack" change that's coming in DWARF-6.

The evaluator comes with test cases, which can gradually turn into a reference testsuite. There also exists a web playground to run and share examples easily (see DWARF Issue 251120.1 for several such examples).