WO2025224539 - ISOLATING CODE FOR FASTER VERIFICATION AND IMPROVED MODULARIZATION
National phase entry is expected:
Publication Number
WO/2025/224539
Publication Date
30.10.2025
International Application No.
PCT/IB2025/053417
International Filing Date
01.04.2025
Title **
[English]
ISOLATING CODE FOR FASTER VERIFICATION AND IMPROVED MODULARIZATION
[French]
ISOLATION DE CODE POUR VÉRIFICATION PLUS RAPIDE ET MODULARISATION AMÉLIORÉE
Applicants **
TECHNOLOGY INNOVATION INSTITUTE – SOLE PROPRIETORSHIP LLC
Inventors
JAIN, Ridhi
TIHANYI, Norbert
Priority Data
63/637,194
22.04.2024
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 | * |
| * | |
| Number of Office Actions | * |
| * | |
International Searching Authority |
IP Australia
* |
| Recordal of a Change of the Applicant's Name/Address |
Change of Applicant's Name and Address
* |
| Type of Assignment |
The Standard Agent's Assignment
* |
| Applicant's Legal Status |
Legal Entity
* |
| * | |
| * | |
| * | |
| * | |
| * | |
| Entry into National Phase under |
Chapter I
* |
| Patent Delivery |
Send the Letters Patent by Courier
* |
| Translation |
|
* 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, Examination, Granting | 2306 | |
| EPO | Filing, Examination, Granting | 14318 | |
| Japan | Filing, Examination, Granting | 2307 | |
| South Korea | Filing, Examination, Granting | 2469 | |
| USA | Filing, Examination, Granting | 4740 |
Total:
26,140
Contact Us
Abstract[English]
The present embodiments relate to systems, methods, and computer-readable media for isolating a portion of input source code using a backward flow analysis. A target property can be selected in a set of input source code that includes one or more properties. A backward flow analysis of the target property to identify a subset of nodes or instructions that modify or impact the attributes of the target property. The backward flow analysis can include tracing dependencies of the one or more properties in the set of input source code, identifying one or more compute nodes that either read or write attributes, and determining a subset of nodes or instructions that modify the target property. An output code module can be generated for the target property that includes the subset of nodes or instructions.[French]
Les présents modes de réalisation concernent des systèmes, des procédés et des supports lisibles par ordinateur pour isoler une partie d'un code source d'entrée à l'aide d'une analyse de flux inverse. Une propriété cible peut être sélectionnée dans un ensemble de code source d'entrée qui comprend une ou plusieurs propriétés. Une analyse de flux inverse de la propriété cible est réalisée pour identifier un sous-ensemble de nœuds ou d'instructions qui modifient ou influencent les attributs de la propriété cible. L'analyse de flux inverse peut comprendre le traçage de dépendances de la ou des propriétés dans l'ensemble de code source d'entrée, l'identification d'un ou de plusieurs nœuds de calcul qui ont des attributs soit de lecture soit d'écriture, et la détermination d'un sous-ensemble de nœuds ou d'instructions qui modifient la propriété cible. Un module de code de sortie peut être généré pour la propriété cible qui comprend le sous-ensemble de nœuds ou d'instructions.