Detection of semantic equivalence of program source codes
US11449317B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Aug 20, 2019 |
| Grant date | Sep 20, 2022 |
| Priority date | — |
| Expiry date | Dec 21, 2039 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/51
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Implementations of the disclosure provide systems and methods for identifying, in view of a first control flow graph associated with a first code fragment and a second control flow graph associated with a second code fragment, a first set of sections of the first code fragment and a second set of sections of the second code fragment, such that each section of the first set of sections has a corresponding section of the second set of sections. A first section of the first set of sections is identified, where the first section is not syntactically equivalent to a corresponding second section of the second set of sections. Responsive to determining that the first section is not syntactically equivalent to the corresponding second section, it is found that the first code fragment is not semantically equivalent to the second code fragment.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.