首页>
外国专利>
Automatic Root Cause Analysis of Complex Static Violations by Static Information Repository Exploration
Automatic Root Cause Analysis of Complex Static Violations by Static Information Repository Exploration
展开▼
机译:通过静态信息存储库探索自动对复杂的静态违规行为进行根本原因分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼