A model-guided symbolic execution approach for network protocol implementations and vulnerability detection

• Shameng Wen ,

  Roles Conceptualization, Data curation, Formal analysis, Funding acquisition, Investigation, Methodology, Project administration, Resources, Software, Supervision, Validation, Visualization, Writing – original draft, Writing – review & editing

  * E-mail: wenshameng@126.com (SW); chaofeng@nudt.edu.cn (CF)

  Affiliation College of Electronic Science and Engineering, National University of Defense Technology, Changsha, China

  http://orcid.org/0000-0001-8780-9870

  ⨯
• Qingkun Meng,

  Roles Writing – review & editing

  Affiliation College of Electronic Science and Engineering, National University of Defense Technology, Changsha, China

  ⨯
• Chao Feng ,

  Roles Writing – review & editing

  * E-mail: wenshameng@126.com (SW); chaofeng@nudt.edu.cn (CF)

  Affiliation College of Electronic Science and Engineering, National University of Defense Technology, Changsha, China

  ⨯
• Chaojing Tang

  Roles Writing – review & editing

  Affiliation College of Electronic Science and Engineering, National University of Defense Technology, Changsha, China

  ⨯