The following works have been done: (1) Define CSL language and complete the lexical analysis and syntactical analysis of it; (2) Obtain Control Flow Graph (later referred as CFG) from abstract syntax tree (AST); (3) Control dependence analysis of CSL;

• 内容包括通过语法分析获得源程序的抽象语法树,从抽象语法树构造控制流图,在控制流图上做控制流分析获得源程序的控制依赖关系,在控制流图上做数据流分析获得源程序的数据依赖关系,以及最后获得源程序的程序依赖图并以图可达性算法获得程序分片的全过程。