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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: MI JIE, XU BIHUAN, YANG JIAYI, LU YUE, SHUAI DONGXIN, GE LILI, ZHANG YINGZHOU
Format: Patent
Sprache:chi ; eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
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,