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 15):
A program product for making a computer system execute an analysis of a control flow graph, the program product comprising a computer readable media recorded therein a program for analyzing the control flow graph and being tangibly stored in a memory of the computer system, the program comprising the program codes of:\n extracting a program state of the program from a program state buffer, the program state including a program counter and a virtual address register, the virtual address register including a branch instruction address; determining whether the program counter includes a visit flag, and extracting a new program state if the program counter includes the visit flag; determining whether the virtual address register includes one or more branch targets; generating an edge of a control flow graph from the branch instruction address to each branch target of the virtual address register; assigning the visit flag to the program counter of the program state; returning the program state to the program state buffer; and terminating a current abstract interpretation in the case that the program state buffer includes only program states having visit flags.

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

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.32632927199919
- 35 USC 102 Novelty (BERT): 0.4931956749866146
- Combined Prediction Score: 0.3430159122979324
- Mean Citation Score: 184.660404
- Max Citation Score: 193.23466
- Similarity Product: 150.8696033087754

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