PATENT CLAIM ANALYSIS

Application Number: 15960177
Application Type: Utility
Filing Date: 2018-04
Publication Date: 2019-10
Patent Classification: ["714", "723000"]

Abstract:
Described technologies extend the information available from an execution trace of a program by providing heuristically-derived values for memory contents when the trace does not include data expressly showing the value of a memory cell at a particular execution time. Various heuristics are described. The heuristics may use information about the memory cell at other times to produce the derived value. Some heuristics use other trace data, such as whether the memory cell is in a stack, whether there are gaps in the trace, or whether garbage collection or compilation occurred near the time in question. Grounds for the derived value are reported along with the derived value. A time-travel debugger or other program analysis tool can then present the derived values to users, or make other use of the derived values and grounds to assist debugging and other efforts to improve the functioning of a computing system.

Claim (Index 11):
The memory inspection process of  claim 10 , wherein blending the obtained grounds comprises selecting as the blended ground a most pessimistic ground, and wherein the selecting is based at least in part on a ranking which ranks grounds as follows from most pessimistic to least pessimistic: no-value-found, known-future-value, known-past-value, known-current-value.

Metadata:
- Claim Count in Document: 23.0
- Percentile: 91.0
- Lexical Diversity: 1.83721
- Patent Class: 714.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: False
- Related Applications: ['12641629', '15453008', '12437081', '15917323', '15960066']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3081751254231871
- 35 USC 102 Novelty (BERT): 0.4903988615759578
- Combined Prediction Score: 0.3263974990384642
- Mean Citation Score: 164.735158
- Max Citation Score: 177.41672
- Similarity Product: 113.12971035992622

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

Dataset: test