Concretely mapped symbolic memory locations for memory error detection

Concretely mapped symbolic memory locations for memory error detection

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,...

Full description

Saved in:
Bibliographic Details
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/9890
https://ink.library.smu.edu.sg/context/sis_research/article/10890/viewcontent/TSE2024SymLoc.pdf

Similar Items