# 通过受控静态循环分析将协议格式提取为状态机

> 论文通过将解析循环分析为状态机，从解析器代码中提取协议消息格式，并评估格式推断效果及所提取状态机在协议模糊测试中的应用。

- 作者：Qingkai Shi; Xiangzhe Xu; Xiangyu Zhang
- 原标题：Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
- 发表载体：arXiv
- 发表状态：预印本
- 出版／提交日期：2023 年 5 月 22 日
- 日期依据：arXiv 首次提交日期。
- arXiv 首次提交：2023 年 5 月 22 日
- arXiv：2305.13483
- 已复核的 arXiv 版本：v4
- 来源复核于：2026-11-06
- 收录于：2026-11-06
- 原始论文：<https://arxiv.org/abs/2305.13483>
- PDF：<https://arxiv.org/pdf/2305.13483>
- BibTeX：<https://awesomerea.org/papers/citations/paper-protocol-format-state-machine.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-protocol-format-state-machine/>
- 记录 JSON：<https://awesomerea.org/papers/paper-protocol-format-state-machine/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-protocol-format-state-machine/index.md)

## 研究范围与局限

分析对象是格式由带约束的正则表达式描述、并由有限状态机解析的协议。报告的结果包括五分钟内超过90%的准确率和召回率、模糊测试覆盖率提高20%至230%，以及多发现十个零日漏洞。

## 与本合集的关联

论文从解析器实现中逆向提取协议消息格式，并利用恢复的状态机改进模糊测试。

## 发表与复核说明

日期和发表场所来自 arXiv 记录。

## 一手来源

1. <https://arxiv.org/abs/2305.13483>

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。