论文部分内容阅读
针对符号执行建立的路径条件求解困难的问题，结合混合约束求解的最新研究成果，提出了一个多策略的路径条件求解算法。分析了路径条件的具体特征，通过路径条件的变换及时消除不可行路径，在路径条件的求解中，首先求解线性约束，并利用这些初步解，结合启发式方法进一步求解非线性约束。实现了一个针对C程序的多策略路径条件求解原型MPCS1．0，初步实验表明该方法的可行性。