A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes. (arXiv:2210.04258v2 [cs.CR] UPDATED)

Memory corruption is a serious class of software vulnerabilities, which
requires careful attention to be detected and removed from applications before
getting exploited and harming the system users. Symbolic execution is a
well-known method for analyzing programs and detecting various vulnerabilities,
e.g., memory corruption. Although this method is sound and complete in theory,
it faces some challenges, such as path explosion, when applied to real-world
complex programs. In this paper, we present a method for improving the
efficiency of symbolic …

memory memory corruption symbolic execution vulnerabilities