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…