Concretely mapped symbolic memory locations for memory error detection

• Main Authors: TU, Haoxin, JIANG, Lingxiao, HONG, Jiaqi, DING, Xuhua, JIANG, He
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2024
• Subjects: Software Reliability; Software Security; Memory Errors; Program Analysis; Symbolic Execution; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/9890; https://ink.library.smu.edu.sg/context/sis_research/article/10890/viewcontent/TSE2024SymLoc.pdf
• Institution: Singapore Management University

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 lead to catastrophic consequences. Symbolic execution-based approaches are often used to detect such memory errors,...