Inferring State Machine from the Protocol Implementation via Large Langeuage Model

arXiv:2405.00393v1 Announce Type: new
Abstract: State machines play a pivotal role in augmenting the efficacy of protocol analyzing to unveil more vulnerabilities. However, the task of inferring state machines from network protocol implementations presents significant challenges. Traditional methods based on dynamic analysis often overlook crucial state transitions due to limited coverage, while static analysis faces difficulties with complex code structures and behaviors. To address these limitations, we propose an innovative state machine inference approach powered by Large Language Models (LLMs). …

analysis arxiv challenges cs.cr dynamic dynamic analysis implementation large machine machines network network protocol play protocol role state state machine task transitions vulnerabilities