Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version

Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner

In recent years, compositional symbolic execution (CSE) tools have been growing in prominence and are becoming more and more applicable to real-world codebases. Still to this day,…