PATENT CLAIM ANALYSIS

Application Number: 15989973
Application Type: Utility
Filing Date: 2018-05
Publication Date: 2019-11
Patent Classification: ["717", "128000"]

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.

Claim (Index 11):
A method, implemented by a computing device, for semantically comparing machine code traces, the method comprising:\n transforming a first trace of machine code generated by a first compiler into a first set of expressions in a uniform expression format that have the same semantic meaning as the first trace of machine code, wherein the first trace comprises a plurality of executed instructions, and wherein the first trace of machine code is generated by executing the machine code on a computing device to obtain the first trace comprising the plurality of executed instructions, the transforming comprising:\n for each of the plurality of executed instructions of the first trace, translating the instruction into an expression of the instruction in the uniform expression format; \n merging multiple expression instances, having the same expression type, into a single instance of the expression in the uniform expression format; and \n sorting input operands of the merged single instance of the expression into a uniform order; \n comparing the first set of expressions in the uniform expression format to a second set of expressions in the uniform expression format; and outputting a result of the comparison comprising an indication of whether the first set of expressions in the uniform expression format matches the second set of expressions in the uniform expression format.

Metadata:
- Claim Count in Document: 50.0
- Percentile: 93.0
- Lexical Diversity: 2.13793
- Patent Class: 717.0
- Transitional Phrase Type: open
- Component Type: 1
- Foreign Priority: False
- Related Applications: ['15255452', '11139373', '11140353', '12015591', '09728096']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3690154481417757
- 35 USC 102 Novelty (BERT): 0.4931885610236928
- Combined Prediction Score: 0.3814327594299674
- Mean Citation Score: 186.395276
- Max Citation Score: 221.21896
- Similarity Product: 176.5693022971344

Labels:
- Claim Label 101: 1
- Claim Label 102: 1
- Claim Label 103: 0
- Claim Label 112: 1
- Combined Label: 1
- Label 101 Adjusted: 1

Dataset: test