Semantic comparison of computer compiler traces
US10503634B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | May 25, 2018 |
| Grant date | Dec 10, 2019 |
| Priority date | — |
| Expiry date | May 25, 2038 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/40
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Techniques are described for semantically comparing machine code traces generated by compilers that compile computer software code. For example, a trace of machine code generated by a compiler can be obtained. The trace can be transformed into a set of expressions in a uniform expression format (e.g., by performing translation of the trace instructions into corresponding expressions and/or by performing other transformations). The set of expressions in the uniform expression format can be compared to other sets of expressions in the uniform expression format (e.g., other sets of expressions created from traces of machine code from other compilers). Results of the comparison can comprise indications of whether the sets of expressions match.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.