Guichen Wei

Buffer Overflow Vulnerability Detection Based on Static Analysis-assisted Symbolic Execution

2023

Buffer overflow is a common exploitable high-risk vulnerability that can lead to arbitrary code execution, thus effective detection of buffer overflow vulnerability is of utmost importance for developers, enabling timely remendiation. Symbolic execution is a …