相关路径静态分析中协同式逆向推理方法

相关路径静态分析中协同式逆向推理方法背景随着软件系统规模的不断扩大，人工分析软件的复杂性已经越来越困难了，因此静态程序分析成为了保证软件质量和可维护性的一种重要方法。静态程序分析的目的是在不运行程序的