符号执行的路径爆炸及约束求解问题研究

符号执行的路径爆炸及约束求解问题研究符号执行是一种自动化的程序分析技术，可以对程序进行静态分析，以了解程序在不同输入和环境条件下的行为。它基于符号执行引擎，通过在程序中建立符号变量来代替具体的输入和数