Auditing Buffer Overflow Vulnerabilities Using Hybrid Static-Dynamic Analysis

Despite being studied for more than two decades buffer overflow vulnerabilities are still frequently reported in programs. In this paper, we propose a hybrid approach that combines static and dynamic program analysis to audit buffer overflows. Using simple rules, test data are generated to automatic...

Ausführliche Beschreibung