Analyzing network protocol binary software with joint symbolic execution
Shameng Wen, Chao Feng, Qingkun Meng, Bin Zhang, Ligeng Wu, Chaojing Tang · 2016
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.