A Deterministic Memory Allocator for Dynamic Symbolic Execution
No abstract available.
Related papers
- Automatic Parallelization of Divide and Conquer Algorithms PPoPP 1999
- Abstraction of memory block manipulations by symbolic loop folding ESOP 2025
- Modeling Dynamic (De)Allocations of Local Memory for Translation Validation OOPSLA 2024
- Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice OOPSLA 2025
- Performance implications of dynamic memory allocators on transactional memory systems PPoPP 2015
- Parametric prediction of heap memory requirements ISMM 2008
- Space overhead bounds for dynamic memory management with partial compaction POPL 2011
- Space overhead bounds for dynamic memory management with partial compaction TOPLAS 2012