Skip to main content

An evaluator and a web playground for DWARF-6 expressions

UD6.215 | Day 1 | 11:30 - 11:45 | Speakers: Baris Aktemur

An evaluator and a web playground for DWARF-6 expressions
A picture of a devroom at FOSDEM 2024
Open in browser

Notes

Abstract

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).

Speakers

Baris Aktemur

Baris Aktemur is a tech lead at Intel and a contributor to GDB.


Notice: The placeholder video image is licensed under CC BY-SA 4.0. The original image can be found hereChanges made to the image are: Cropped the image to a new ratio, part of the image was cut off.