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

Haiyang Wei, Ligeng Chen, Zhengjie Du +7

State machines are essential for enhancing protocol analysis to identify vulnerabilities. However, inferring state machines from network protocol implementations is challenging due…