SSDG Construction Algorithm Based on Dependency Graph Equivalent Substitution
XU Don · Jisuanji gongcheng · 2015
At present,the mainly method of software semantics analysis generally has the problem of high time complexity and inaccurate results.For the problems,aprogram Control Flow Graph(CFG)algorithm which is based on Control Dependency Graph(CDG)and abstract syntax tree is proposed in this paper.This algorithm uses object program equivalent substitution and procedure dependence graph to replace procedure System Dependency Graph(SDG)which breaks the building process on traditional SDG.Experimental results show that the algorithm reduces the complexity of constructional SDG effectively and increases the rate of program slicing.