write a symbolic execution debugger - Githubissues

OCamlPro / owi

WebAssembly Swissknife & cross-language bugfinder

https://ocamlpro.github.io/owi/

GNU Affero General Public License v3.0

137 stars 18 forks source link

write a symbolic execution debugger #432

Open zapashcanon opened 2 months ago

zapashcanon commented 2 months ago

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

filipeom commented 2 months ago

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