Detection of Security Bugs using Symbolic Execution and Address Sanitization (Bachelor Thesis, Ongoing)
Author
Description
This project investigates methodological approaches for the automated detection of security-critical flaws in binary programs. The core focus is the integration of symbolic execution and address sanitization to identify both stack-based and heap-based vulnerabilities. The work begins by developing a theoretical framework that combines these techniques into a unified approach for vulnerability detection. Based on this foundation, a proof-of-concept implementation is created, specifically targeting heap vulnerabilities. This prototype demonstrates how the proposed method can be effectively applied in automated binary analysis.
Start / End Dates
2025/09/29 - 2026/01/28