PATENT CLAIM ANALYSIS

Application Number: 16010722
Application Type: Utility
Filing Date: 2018-06
Publication Date: 2019-12
Patent Classification: ["717", "128000"]

Abstract:
According to some examples, computer-implemented methods for branch coverage guided symbolic execution for hybrid fuzzing are described. An example computer-implemented method may include receiving a seed input of a binary program under analysis (BPUA) that is discovered during testing by a greybox fuzzer. The method may also include concretely executing the seed input in the BPUA, and collecting a trace resulting from the concrete execution of the seed input. The method may further include determining whether the concrete execution of the seed input discovers a new branch. The method may include, responsive to a determination that the concrete execution of the seed input discovers a new branch, updating a bitmap to indicate that the new branch is discovered, wherein the bitmap is utilized by the greybox fuzzer to maintain a record of discovered branches in BPUA, and providing the seed input to the greybox fuzzer.

Claim (Index 8):
The method of  claim 1 , wherein the seed input is an arbitrary input.

Metadata:
- Claim Count in Document: 50.0
- Percentile: 94.0
- Lexical Diversity: 2.22535
- Patent Class: 717.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: False
- Related Applications: ['15871955', '12249646', '12722404', '15988934', '11197912']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.4033503236237466
- 35 USC 102 Novelty (BERT): 0.5461570958545467
- Combined Prediction Score: 0.4176310008468266
- Mean Citation Score: 231.586034
- Max Citation Score: 362.3546
- Similarity Product: 196.90519211666583

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