Automatic root cause analysis of complex static violations by static information repository exploration
US11556406B2 · kind B2 · utility
0Cited by
5References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 2, 2019 |
| Grant date | Jan 17, 2023 |
| Priority date | — |
| Expiry date | Mar 20, 2041 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L41/0636
- WIPO fieldControl
- WIPO sectorInstruments
Abstract
The independent claims of this patent signify a concise description of embodiments. An automatic process for determining and/or predicting the original root-cause(s) of a violation is proposed using two major enhancements on top of the current VC-Static solution. First, an information repository is created by mining various Static checker components' analysis information, and second, an analysis framework is created which systematically prunes the above-mentioned information repository to find the actual root cause(s) of the violation. This Abstract is not intended to limit the scope of the claims.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.