RFCAudit: An LLM Agent for Functional Bug Detection in Network Protocols

Open in new window