PATENT CLAIM ANALYSIS

Application Number: 15873292
Application Type: Utility
Filing Date: 2018-01
Publication Date: 2018-05
Patent Classification: ["717", "156000"]

Abstract:
A method and systems generate a control flow graph including an edge of the control flow graph from a branch instruction to a target address of the branch instruction in an abstract interpretation for an assignment instruction to a branch target variable of a program. The program allocates a particular branch target variable to a branch instruction having a plurality of branch targets. The branch target address is loaded from the branch target variable upon branching, a branch address of a branch instruction having one branch target as well as the address assigned by the assignment instruction to the branch target variable being determined as certain constant values determined by compiling the program. The target address assigned by the assignment instruction is added to an object of the abstract interpretation. A current abstract interpretation is terminated if the abstract interpretation reaches an instruction already subjected to the abstract interpretation.

Claim (Index 13):
The computer system of  claim 7 , wherein the computer system comprises a module of the binary optimizer or a separate module of the binary optimizer for analyzing the control flow graph.

Metadata:
- Claim Count in Document: 50.0
- Percentile: 86.0
- Lexical Diversity: 2.67241
- Patent Class: 717.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: False
- Related Applications: ['14829963', '14734601', '14478093', '14478114', '14128876']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.346887485203341
- 35 USC 102 Novelty (BERT): 0.5218785344879375
- Combined Prediction Score: 0.3643865901318006
- Mean Citation Score: 184.660404
- Max Citation Score: 193.23466
- Similarity Product: 114.1206726379788

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

Dataset: test