符号约束描述了程序中的变量关系,被广泛运用于模型检测、符号执行等程序的静态分析方法中。将符号约束应用于可编程逻辑控制器（PLC......

摘要：为了便于代码优化及指令生成，在并行C语言编译器CPCC（Concordia Parallel C Compiler）将源程序的抽象语法树（Abstract Syntax Tree......

动态程序切片技术是一种重要的程序分析技术，在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方......