PATENT CLAIM ANALYSIS

Application Number: 16036396
Application Type: Utility
Filing Date: 2018-07
Publication Date: 2019-05
Patent Classification: ["726", "025000"]

Abstract:
Provided are a binary vulnerability analysis method performed by a computing device is provided, and the binary vulnerability analysis method includes a primary execution step of recording a symbolic constraint of a vulnerability associated with an execution flow path causing a crash to a target binary to be analyzed and a suspicious element on the execution flow path by performing taint analysis through a primary execution of the target binary; and a secondary execution step of performing a secondary execution, which is a symbolic execution, on the execution flow path and, if an instruction satisfying the symbolic constraint is found, determining that the vulnerability exists in the target binary by comparing the suspicious element and the found instruction.

Claim (Index 14):
The electronic device of  claim 13 , wherein if a taint record obtained by the taint analysis shows that there is no change in a crash causing value, which is the value of an operand at the time of a forceful termination caused by the crash, the at least one instruction may further include a fifth instruction of determining the location of a suspicious element closest to the location of occurrence of the forced termination on the execution flow path as the location of the cause of the vulnerability.

Metadata:
- Claim Count in Document: 32.0
- Percentile: 95.0
- Lexical Diversity: 2.31481
- Patent Class: 726.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: True
- Related Applications: ['13481248', '14827522', '13898824', '15817372', '11529796']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3075103832531725
- 35 USC 102 Novelty (BERT): 0.5059384098335676
- Combined Prediction Score: 0.3273531859112121
- Mean Citation Score: 206.28468
- Max Citation Score: 220.55055
- Similarity Product: 129.75556529506443

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

Dataset: test