Skip to content

08183080/protocol-fuzzing

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

24 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

引言

2025年11月27日,我想要整体地很认真地搞搞研究。我真不想浪费时间了。

项目介绍

我的研究方向是基于大模型增强的网络协议模糊测试技术研究与实现。

相关的前置工具:afl,aflnet,chatafl。

日志

  • 2025/11/27,浪子回头,就像周初除三害一样,我想要认认真真搞研究。接下来对于该工具的改进都会同步到本仓库。
  • 11/28,凌晨。成功修改在chatafl的代码中调用硅基流动提供的免费的api。
  • 11/29,下午,温习shell编程,以及最小化精简shell代码。存储在/shell_scripts/中。
  • 11/29,极速自动化容器运行proftpd,但是显示信息硅基流动的免费api用起来不稳定。
  • 11/29,付费购买dmx聚合api国际站,跑通。修改xpgfuzz/chat_dmx.c文件。
  • 11/30,让cursor自动修改代码,适配。不满意就回滚,爽翻了。修改提示词适配和json处理。
  • 11/30,在cursor的辅助下,成功增加结构感知变异,不过比较简单。今天买了cursor会员。
  • 12/3,以前逃避不好意思。现在主动找lab的师弟咨询,获取账号。ssh登录。获取更大的计算力资源,从而在本周可以验证变异算子的改进是否有效。我一腔孤傲和清高四年了,现在终于回头。实验室服务器若干TB呢。
  • 12/5,早上分析服务器所有的实验结果,xpgfuzz在分支覆盖率的情况>=chatafl,最高提升幅度3%。可以建议:服务器容器命名不要太general。
  • 12/5,对于实验结果分析,怀疑约束信息提取地不精准。
  • 12/5,将6种类型的变异算子增加到95种【变异算子增加】。
  • 12/5,接收可以的建议,修改运行时的镜像和容器的命名格式【实验室服务器合规性】。
  • 12/5,设置脚本开启-b可以使用MAB算法选择最佳变异算子【变异算子选择策略】
  • 12/5,在实验室服务器,跑出第一轮实验。在proftpd,lighttpd1,exim和live555上分支覆盖率涨幅在0%~4%。
  • 12/6,和xiyuan交流,xiyuan建议不要用gpt-3.5-turbo这么老的模型了。
  • 12/9,对第一次在服务器跑5轮实验,针对5个协议的三个工具的代码覆盖率和状态覆盖率进行分析。xpgfuzz只在exim上效果好。在ftp系列上效果最差。分析:LLM提取的模板和约束未必准。用太多的约束变异效果也未必好。由此可见,虽然AI+X是未来。但是,用太多的AI也未必好。
  • 12/9,第一次回归,在周会组会上汇报进度。苏老师建议:想好创新点和工作量,不要急,分析一下原因。
  • 12/9,中午午后和公司的姜子牙交流,他说写论文很简单的,注意格式和逻辑。我钻牛角尖了,不过这个过程我该走就一定要走。感谢。
  • 12/9,晚上下班和庄周遇到交流的时候,他说之所以安排我写公司的巴黎世家业务,就是因为知道我论文没过。感谢。
  • 12/9,下午听组会,了解可以是大模型从RFC中提取约束,然后人工检查,再根据此生成代码。万老师建议再来个交叉验证环节。
  • 12/9,【反思】想的太多做的太少,以前为什么会做题数学考满分呢?因为勤奋,勤能补拙。请教更多的人,做更多的实验,复现更多论文的方法,组合更多的论文的方法,勤勤恳恳读更多的相关论文然后总结它们的模式,戒骄戒躁,坐得住冷板凳,这些你做到了吗?
  • 12/14,走出完美主义陷阱,开始做实验,真正对比deepwiki的效果有没有?不要完美主义,不要决策瘫痪!要正能量,大胆干就完了!之前做实验,没有放开手脚,导致畏畏缩缩,不自信。现在大多验证多模块,千万不要怕获取负反馈,最怕的是零反馈。现在chatafl是纯种的,没变。xpgfuzz-mutate只在chatafl的基础上修改了种子变异模块,那么xpgfuzz则修改了种子丰富模块和种子变异模块。种子变异模块的效果验证,是在我之前关闭种子丰富模块的时候验证的,那时候xpgfuzz在FTP系列上的效果,并不能比得上chatafl。现在,我要重新开始去做实验了。
  • 12/20,第一次跑9个协议,都跑一遍。同时增加分析脚本。不断做实验-分析数据-迭代代码。
  • 12/20,让AI帮我写代码。增加对全部工具在全部协议上的代码分支覆盖率,行覆盖率,状态覆盖率和状态迁移覆盖率的统计和展示。

About

网络协议模糊测试工具

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published