3 citations · 4 across the 2 of their papers we have counts for
5 papers
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,…
Soteria: Efficient Symbolic Execution as a Functional Library
Sacha-Élie Ayoun, Opale Sjöstedt, Azalea Raad
Symbolic execution (SE) tools often rely on intermediate languages (ILs) to support multiple programming languages, promising reusability and efficiency. In practice, this approach…
Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho +3
Multiple successful compositional symbolic execution (CSE) tools and platforms exploit separation logic (SL) for compositional verification and/or incorrectness separation logic (I…
Gillian: A Multi-Language Platform for Unified Symbolic Analysis
Petar Maksimović, José Fragoso Santos, Sacha-Élie Ayoun +1
This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.
Gillian: Compositional Symbolic Execution for All
José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun +1
We present Gillian, a language-independent framework for the development of compositional symbolic analysis tools. Gillian supports three flavours of analysis: whole-program symbol…