This research introduces a novel approach that uses Large Language Models (LLMs) to infer state machines from protocol implementations, addressing a critical gap in security vulnerability detection.

• Overcomes limitations of traditional methods by using LLMs to understand complex code syntax and semantics
• Provides better coverage than dynamic analysis and avoids path explosion issues of static analysis
• Successfully identifies state transitions that conventional approaches miss
• Demonstrates practical security impact by discovering actual 0-day vulnerabilities

This advancement significantly improves protocol security analysis capabilities, enabling more effective detection of vulnerabilities in network systems before they can be exploited.

Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation