Dynamic program dependency cluster detection method based on high-order function
The invention discloses a high-order function-based dynamic program dependency cluster detection method. The method comprises the following steps of: acquiring a statement execution history and a function call relationship of a program under a given input condition by using a symbolic execution tool...
Gespeichert in:
Hauptverfasser: | , , , , , , |
---|---|
Format: | Patent |
Sprache: | chi ; eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | The invention discloses a high-order function-based dynamic program dependency cluster detection method. The method comprises the following steps of: acquiring a statement execution history and a function call relationship of a program under a given input condition by using a symbolic execution tool, and constructing a simplified function call graph according to an actual call relationship, according to dependency cluster information in a statement execution history dynamic acquisition process, constructing a function abstract in a form of a high-order function, and according to an instruction index, performing traversal of a basic block and calculation of an instruction dynamic reference set; according to the method, the abstract in a high-order function form in the process is utilized, parameters of the abstract are correspondingly substituted at a calling point, inter-process dependency cluster information is obtained, finally, the dependency cluster information obtained through calculation is summarized, |
---|