Inter-program dependency relationship extraction method based on high-order function

The invention discloses an inter-program dependency relationship extraction method based on a high-order function. The inter-program dependency relationship extraction method comprises the steps that firstly, programs are preprocessed, a procedure call graph of the programs is constructed, nodes in the procedure call graph are traversed, and the analysis sequence of sub-processes is determined; obtaining a dependency relationship between statements and variables in each called sub-process, and storing summary information in a form of a high-order function; according to the generated high-order functional expression function abstract, corresponding value or function substitution is carried out on function parameters of the function abstract at the procedure call point, and the dependency relationship generated by procedure call and parameter transfer between procedures is obtained. According to the method, the dependency relationship in the process is obtained through the high-order function characteristics, t