Multi-packet symbolic execution testing for network protocol binary software

Abstract

Current network protocol binary software testing methods cannot discover serious vulnerabilities in deep states. This article introduces a novel method based on multi-packet symbolic execution, which can drive the software to deep states, to test the whole network protocol binary software stacks. This article also presents a prototype system, S2EProtocol… (More)

8 Figures and Tables

Topics

  • Presentations referencing similar topics