Abstract:
Network protocol binary software is threaten by vulnerabilities. Current analyzing methods do not make full use of the interaction information in network protocol and do ...Show MoreMetadata
Abstract:
Network protocol binary software is threaten by vulnerabilities. Current analyzing methods do not make full use of the interaction information in network protocol and do not treat both sides of network protocol as a whole system. This paper proposes a novel method based on joint symbolic execution to test synchronously both server and client of the whole network protocol binary software stacks. Moreover, this paper presents a prototype system, S2EProtocol-joint, upon Selective Symbolic Execution (S2E) platform to automatically test network protocol binary software. The experiment results validate that this approach is effective and efficient in detecting vulnerabilities.
Date of Conference: 19-21 November 2016
Date Added to IEEE Xplore: 09 January 2017
ISBN Information: