A Deterministic Memory Allocator for Dynamic Symbolic Execution

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Journal title: 36th European Conference on Object-Oriented Programming (ECOOP 2022)

Journal publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik

Published year: 2022

DOI identifier: 10.4230/lipics.ecoop.2022.9