| Title | 死循环检测方法及装置 |
| Alternative Title | Endless loop detection method and device
|
| Author | |
| First Inventor | 钟锦红
|
| Original applicant | 华为技术有限公司
; 南方科技大学
|
| First applicant | 华为技术有限公司
|
| Address of First applicant | 518129 广东省深圳市龙岗区坂田华为总部办公楼
|
| Current applicant | 华为技术有限公司
; 南方科技大学
|
| Address of Current applicant | 518129 广东省深圳市龙岗区坂田华为总部办公楼 (广东,深圳,龙岗区)
|
| First Current Applicant | 华为技术有限公司
|
| Address of First Current Applicant | 518129 广东省深圳市龙岗区坂田华为总部办公楼 (广东,深圳,龙岗区)
|
| Application Number | CN202011198789.8
|
| Application Date | 2020-10-31
|
| Open (Notice) Number | CN114443455A
|
| Date Available | 2022-05-06
|
| Status of Patent | 实质审查
|
| Legal Date | 2022-05-24
|
| Subtype | 发明申请
|
| SUSTech Authorship | Others
|
| Abstract | 本申请提供一种死循环检测方法及装置，能够解决死循环识别错误的问题，从而提高死循环的检测精度，可应用于终端设备或者网络设备中。该方法包括：确定应用程序的中间表示，中间表示根据应用程序的源代码和/或安装包确定，中间表示包括线性中间表示和图中间表示；根据中间表示获取循环体；确定循环体存在发生死循环的风险。 |
| Other Abstract | The invention provides an endless loop detection method and device, which can solve the problem of incorrect identification of an endless loop so as to improve the detection precision of the endless loop, and can be applied to terminal equipment or network equipment. The method comprises the steps that an intermediate representation of an application program is determined, the intermediate representation is determined according to a source code and/or an installation package of the application program, and the intermediate representation comprises a linear intermediate representation and a graph intermediate representation; obtaining a loop body according to the intermediate representation; and determining the endless loop risk of the loop body. |
| CPC Classification Number | G06F11/3688
; G06F11/3624
; G06F11/366
|
| IPC Classification Number | G06F11/36
|
| INPADOC Legal Status | （ENTRY INTO FORCE OF REQUEST FOR SUBSTANTIVE EXAMINATION）[2022-05-24][CN]
|
| INPADOC Patent Family Count | 1
|
| Extended Patent Family Count | 1
|
| Priority date | 2020-10-31
|
| Patent Agent | 申健
|
| Agency | 北京中博世达专利商标代理有限公司
|
| URL | [Source Record] |
| Data Source | PatSnap
|
| Document Type | Patent |
| Identifier | http://kc.sustech.edu.cn/handle/2SGJ60CL/532702 |
| Department | Department of Computer Science and Engineering |
| Recommended Citation GB/T 7714 |
钟锦红,郭玉华,钱华君,等. 死循环检测方法及装置.
|
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment