WO2022233246 - METHODS, DEVICES, AND MEDIA FOR TWO-PASS SOURCE CODE TRANSFORMATION
National phase entry:
Publication Number
WO/2022/233246
Publication Date
10.11.2022
International Application No.
PCT/CN2022/088937
International Filing Date
25.04.2022
Title **
[English]
METHODS, DEVICES, AND MEDIA FOR TWO-PASS SOURCE CODE TRANSFORMATION
[French]
PROCÉDÉS, DISPOSITIFS ET SUPPORTS POUR TRANSFORMATION DE CODE SOURCE À DEUX PASSAGES
Applicants **
HUAWEI TECHNOLOGIES CO.,LTD.
Huawei Administration Building
Bantian, Longgang District
Shenzhen, Guangdong 518129, CN
Inventors
LING, Michael
275 Queen Street, Third Floor
Kingston, Ontario K7K 1B7, CA
YU, Yijun
8 Venetian Court, Wavendon Gate
Milton Keynes MK7 7ST, GB
WU, Haitao
275 Queen Street, Third Floor
Kingston, Ontario K7K 1B7, CA
WANG, Yuan
275 Queen Street, Third Floor
Kingston, Ontario K7K 1B7, CA
HASSAN, Ahmed, E
162 Country Club Drive
Kingston, Ontario K7M 7B6, CA
Priority Data
63/184,602
05.05.2021
US
17/698,661
18.03.2022
US
Application details
| Total Number of Claims/PCT | * |
| Number of Independent Claims | * |
| Number of Priorities | * |
| Number of Multi-Dependent Claims | * |
| Number of Drawings | * |
| Pages for Publication | * |
| Number of Pages with Drawings | * |
| Pages of Specification | * |
| * | |
| * | |
International Searching Authority |
CNIPA
* |
| Applicant's Legal Status |
Legal Entity
* |
| * | |
| * | |
| * | |
| * | |
| Entry into National Phase under |
Chapter I
* |
| Translation |
|
Recalculate
* The data is based on automatic recognition. Please verify and amend if necessary.
** IP-Coster compiles data from publicly available sources. If this data includes your personal information, you can contact us to request its removal.
Quotation for National Phase entry
| Country | Stages | Total | |
|---|---|---|---|
| China | Filing | 1507 | |
| EPO | Filing, Examination | 8742 | |
| Japan | Filing | 587 | |
| South Korea | Filing | 606 | |
| USA | Filing, Examination | 4110 |
Total: 15552 USD
The term for entry into the National Phase has expired. This quotation is for informational purposes only
Abstract[English]
Methods, devices and media for two-pass source code transformation from a first high-level programming language to a second high-level programming language are described. Two different source code transformation technologies are combined to produce a two-pass source code transformation method: a compiler-based source code transformation technique is used in a first pass, and a parse-tree-based source code transformation technique is used in second pass. The second pass may be used to automatically refactor the source code to enhance desired properties of the second programming language. A two-pass C-to-Rust transformation technique, CRustS, is described which automatically generates Rust source code that exhibits memory safety and overcomes other limitations of existing tools such as C2Rust.[French]
Sont décrits des procédés, des dispositifs et des supports pour transformation de code source à deux passages d'un premier langage de programmation de haut niveau à un second langage de programmation de haut niveau. Deux technologies de transformation de code source différentes sont combinées pour produire un procédé de transformation de code source à deux passages : une technique de transformation de code source basée sur un compilateur est utilisée dans un premier passage, et une technique de transformation de code source basée sur un arbre d'analyse est utilisée dans un second passage. Le second passage peut être utilisé pour refactoriser automatiquement le code source pour améliorer les propriétés souhaitées du second langage de programmation. Une technique de transformation de C-à-Rust, CRustS, à deux passages est décrite, qui génère automatiquement un code source Rust qui présente une sécurité de mémoire et surmonte d'autres limitations d'outils existants tels que C2Rust.