AutoStub：基于遗传编程的符号执行_stub创建

符号执行是软件测试的强大技术，但在遇到外部函数（如本地方法或第三方库）时会受到限制。现有解决方案通常需要额外的上下文、昂贵的SMT求解器或手动干预，通过符号_存根近似这些函数。本文提出了一种 novel 方法，自动生成外部函数的符号_存根，以便在符号执行期间使用。当符号执行器遇到外部函数时，AutoStub通过在随机生成的输入上执行该函数并收集输出来生成训练数据。遗传编程随后派生出近似函数行为的表达式，作为符号_存根使用。这些自动生成的存根允许符号执行器在无需手动干预的情况下继续分析，从而探索之前不可及的程序路径。我们展示，AutoStub能够为评估的55%的函数以超过90%的准确率自动近似外部函数，并且能够推断出揭示关键软件测试边缘情况的语言特定行为。