SPAR：用对抗式LLM交互从RFC萃取网络协议格式规范，挖出24个0-day

南京大学团队在USENIX Security '26发表SPAR，仅凭RFC文档通过双向对抗循环（以格式规范为预言机精化解析器、以解析器为预言机精化格式规范，收敛到不动点）自动生成语法与语义双精确的协议格式规范。