Concretely Mapped Symbolic Memory Locations for Memory Error Detection
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2024.3395412
Abstract: Memory allocation is a fundamental operation for managing memory objects in many programming languages. Misusing allocated memory objects (e.g., buffer overflow and use-after-free) can have catastrophic consequences. Symbolic execution-based approaches have been used to detect… read more here.
Keywords: memory; symbolic execution; memory errors; memory locations ... See more keywords