察元AI教程库 · 文章 · 大模型

大语言模型驱动的符号执行

大语言模型（LLMs）作为传统静态程序分析方法（如符号执行）的有希望的替代方案，能够直接推理代码，而无需依赖定理证明器或SMT求解器。然而，LLMs本质上是近似的

作者:Yihe Li, Ruijie Meng, Gregory J. Duck · 语言:en

前往原址学习

简介

大语言模型（LLMs）作为传统静态程序分析方法（如符号执行）的有希望的替代方案，能够直接推理代码，而无需依赖定理证明器或SMT求解器。然而，LLMs本质上是近似的

返回教程库 · 察元AI产品家族