论文部分内容阅读
为了消除指针程序实现形式的多样化，简化程序分析，提出一种对用指针实现的程序进行标准化的方法．首先将程序表示成系统依赖图，分析指针别名信息；然后制定指针标准化规则并结合已有的代码多样化消除规则，对系统依赖图进行保持语义不变的转换，将语法表示不同但语义等价的程序转换为相同的系统依赖图表示，从而消除代码多样化．最后，将该方法应用到C语言编程题的自动评分系统中，并与人工评分和正确评分结果进行对比，验证了该方法的有效性．