Title:
PROGRAM SOURCE CODE RESLICING-BASED SOFTWARE DYNAMIC UPDATE HOT PATCH SYNTHESIS METHOD
Document Type and Number:
WIPO Patent Application WO/2022/156056
Kind Code:
A1
Abstract:
Disclosed in the present invention is a program source code reslicing-based software dynamic update hot patch synthesis method, comprising: analyzing the source codes and/or binary codes of new and old versions of a program by means of static program analysis to extract a certain quantity of basic components and data flow slices related to dynamic update; enumerating combinations of the extracted basic components, and automatically generating corresponding transformation functions according to data flow relationships; and running the generated transformation functions on a test case to output a correct transformation function. In the present invention, the codes of old and new versions of the program can be automatically analyzed to extract the basic components and data flow slices for constructing transformation functions, and then the basic components and data flow slices are used to automatically synthesize an object state transformation function, thereby assisting developers and greatly reducing labor burden.
Inventors:
JIANG YANYAN (CN)
ZHAO ZELIN (CN)
XU CHANG (CN)
MA XIAOXING (CN)
ZHAO ZELIN (CN)
XU CHANG (CN)
MA XIAOXING (CN)
Application Number:
PCT/CN2021/081558
Publication Date:
July 28, 2022
Filing Date:
March 18, 2021
Export Citation:
Assignee:
UNIV NANJING (CN)
International Classes:
G06F8/656; G06F8/71; G06F8/72; G06F11/36
Foreign References:
| CN105528231A | 2016-04-27 | |||
| CN101162428A | 2008-04-16 | |||
| CN111045670A | 2020-04-21 | |||
| EP3029568A1 | 2016-06-08 | |||
| US20060010435A1 | 2006-01-12 |
Other References:
XIE GUOZHEN: "An Assertion-based Software Dynamic Update Technique", MASTER THESIS, TIANJIN POLYTECHNIC UNIVERSITY, CN, no. 8, 15 August 2016 (2016-08-15), CN , XP055952921, ISSN: 1674-0246
Attorney, Agent or Firm:
NANJING LE YU ZHI XING PATENT AGENCY FIRM (GERERAL PARTHNERSHIP) (CN)
Download PDF: