WO2025215562 - METHODS AND SYSTEMS FOR IDENTIFYING A CODE PORTION
National phase entry is expected:
Publication Number
WO/2025/215562
Publication Date
16.10.2025
International Application No.
PCT/IB2025/053749
International Filing Date
09.04.2025
Title **
[English]
METHODS AND SYSTEMS FOR IDENTIFYING A CODE PORTION
[French]
PROCÉDÉS ET SYSTÈMES D'IDENTIFICATION D'UNE PARTIE DE CODE
Applicants **
SNYK LIMITED
Inventors
RAYCHEV, Veselin
HAYOUN, Avi
HAIR, Jack
Priority Data
63/631,722
09.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 |
EPO
* |
| 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 | 2438 | |
| EPO | Filing, Examination, Granting | 12977 | |
| Japan | Filing, Examination, Granting | 2421 | |
| South Korea | Filing, Examination, Granting | 2527 | |
| USA | Filing, Examination, Granting | 10740 |
Total:
31,103
Contact Us
Abstract[English]
Embodiments identify code portions. An embodiment receives a logical query, indicating a selected behavior and constructed in a logical query grammar, associated with a codebase. The logical query grammar is: (1) configured to represent logical queries each having (i) a unary predicate including a head variable, (ii) one or more predicate citations associated with the head variable, and (iii) one or more predicate citations associated with one or more other variables different from the head variable; (2) configured with variable name reuse; (3) configured to represent at least one logical query having one or more conjoined citations associated with (i) a given head variable and (ii) exactly one other variable different from the given head variable; and (4) configured with stratified negation. A logical graph representing the codebase is searched based on the query to generate a result indicating a presence of a code portion exhibiting the selected behavior.[French]
Des modes de réalisation identifient des parties de code. Un mode de réalisation reçoit une interrogation logique, indiquant un comportement sélectionné et construit dans une grammaire d'interrogation logique, associée à une base de code. La grammaire d'interrogation logique est : (1) configurée pour représenter des interrogations logiques ayant chacune (i) un prédicat unaire comprenant une variable de tête, (ii) une ou plusieurs citations de prédicat associées à la variable de tête et (iii) une ou plusieurs citations de prédicat associées à une ou plusieurs autres variables différentes de la variable de tête ; (2) configurée avec une réutilisation de nom de variable ; (3) configurée pour représenter au moins une interrogation logique ayant une ou plusieurs citations conjointes associées à (i) une variable de tête donnée et (ii) exactement une autre variable différente de la variable de tête donnée ; et (4) configurée avec une négation stratifiée. Un graphe logique représentant la base de code est recherché sur la base de l'interrogation pour générer un résultat indiquant une présence d'une partie de code présentant le comportement sélectionné.