PATENT CLAIM ANALYSIS

Application Number: 16408352
Application Type: Utility
Filing Date: 2019-05
Publication Date: 2019-08
Patent Classification: ["726", "025000"]

Abstract:
Provided are a method and a system capable of efficiently detecting security vulnerability of program. The method includes: generating binary information including route information indicating an execution route of a program on a first test case; acquiring first crash information including the first test case and the route information when a crash of the first test case occurs; restoring a control flow graph based on the binary information; calculating complexity of the restored control flow graph; determining whether the complexity is less than a threshold value; only when a result of the determination indicates that the complexity is less than a threshold value, performing: executing a route detection on the route information; generating a second test case by executing the route detection; and acquiring a second crash information including the second test case and the route information.

Claim (Index 5):
The system of  claim 4 , wherein the binary analyzer calculates the complexity based on the following formula, H . D = n 1 2 \u00d7 N 2 n 2 H.D is the complexity, n 1  is the number of distinct operators, n 2  is the number of distinct operands, and N 2  is the number of whole operands.

Metadata:
- Claim Count in Document: 3.0
- Percentile: 100.0
- Lexical Diversity: 2.44262
- Patent Class: 726.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: True
- Related Applications: ['15817372', '12102148', '15251232', '16036396', '14460636']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.2728396767013447
- 35 USC 102 Novelty (BERT): 0.5342258047205879
- Combined Prediction Score: 0.298978289503269
- Mean Citation Score: 187.461712
- Max Citation Score: 358.99405
- Similarity Product: 208.26971632501483

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