Testing C Programs for Buffer Overflow Vulnerabilities.

Abstract

Contents List of Tables iv 1 Introduction 1 1.1 The Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Common Attacks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 A Solution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2 Previous Work 5 2.1 Software Testing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.1 Property-based Testing . . . . . . . . . . . . . . . . . . . . . . 5 2.1.2 Software Fault Injection . . . . . . . . . . . . . . . . . . . . . 6 2.1.3 Fuzz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.1.4 Purify . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.1.5 Kernel Testing . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2 Static Buer Overow Detection . . . . . . . . . . . . . . . . . . . . . 7 2.2.1 ITS4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2.2 RATS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.