过程内分析和路径调度算法实现

符号执行是路径敏感的分析方法，分析精度高，时间空间消耗较大，是作为单元测试的一种很好的方法。针对符号执行的特点，本文提出一种过程内分析算法和路径调度算法，基于该算法实现了一种测试工具，通过实验，表明该算法在万行级代码的分析能够给出具有指导价值的分析结果。