A Deterministic Memory Allocator for Dynamic Symbolic Execution

Publication
Proceedings of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Event
36th European Conference on Object-Oriented Programming (ECOOP '22), Jun 6 - Jun 10, 2022
Placeholder Avatar
Frank Busse
Placeholder Avatar
Martin Nowack
Placeholder Avatar
Cristian Cadar