write a symbolic execution debugger

[redianthus]

see https://ethz.ch/content/dam/ethz/special-interest/infk/chair-program-method/pm/documents/Education/Theses/Andrea_Keusch_PW_Report.pdf

[filipeom]

There's also the Gillian Debugger. It uses the DAP protocol https://vtss.doc.ic.ac.uk/publications/KarmiosAyoun2023SymbolicDebugging.pdf