符号执行循环和递归制导技术研究的开题报告

符号执行循环和递归制导技术研究的开题报告一、选题符号执行（Symbolic Execution）是一种程序分析技术，它通过利用程序的逻辑结构和输入约束，对程序进行静态分析，自动推导程序可能的执行路径和