察元AI教程库 · 文章 · 提示词

利用大语言模型从协议实现中推断状态机

状态机对于增强协议分析以识别漏洞至关重要。然而，从网络协议实现中推断状态机是具有挑战性的，因为涉及复杂的代码语法和语义。传统的动态分析方法由于无法捕捉关键的状态转换而常常遗漏

作者:Haiyang Wei, Ligeng Chen, Zhengjie Du · 语言:en

简介