Analyzing network protocol binary software with joint symbolic execution | IEEE Conference Publication | IEEE Xplore