Title:
STATIC ANALYSIS METHOD, APPARATUS, AND DEVICE, AND COMPUTER-READABLE STORAGE MEDIUM
Document Type and Number:
WIPO Patent Application WO/2023/024714
Kind Code:
A1
Abstract:
A static analysis method is provided, including: receiving a first request, where the first request is used to perform problem analysis on a first object; performing problem analysis on a translation unit TU associated with the first object, to generate a problem analysis result of the first object after the analysis is completed; and sending the problem analysis result. The first object includes at least one source file. Therefore, a method of performing problem analysis on the first object at a granularity of a TU is implemented, to improve static analysis efficiency.
More Like This:
Inventors:
MEZHUEV PAVEL (CN)
HUANG LIJUN (CN)
GERASIMOV ALEXANDER (CN)
SHANG JINGLIANG (CN)
ZHANG ZHENHUA (CN)
BUTKEVICH VERONIKA (CN)
ZHAO DOUSHENG (CN)
HUANG LIJUN (CN)
GERASIMOV ALEXANDER (CN)
SHANG JINGLIANG (CN)
ZHANG ZHENHUA (CN)
BUTKEVICH VERONIKA (CN)
ZHAO DOUSHENG (CN)
Application Number:
PCT/CN2022/104055
Publication Date:
March 02, 2023
Filing Date:
July 06, 2022
Export Citation:
Assignee:
XFUSION DIGITAL TECH CO LTD (CN)
International Classes:
G06F11/36
Foreign References:
CN106294156A | 2017-01-04 | |||
CN101286132A | 2008-10-15 | |||
US20130014093A1 | 2013-01-10 | |||
CN104021084A | 2014-09-03 | |||
CN111694570A | 2020-09-22 |
Attorney, Agent or Firm:
SHENPAT INTELLECTUAL PROPERTY AGENCY (CN)
Download PDF: