首页>
外国专利>
Static analysis based on efficient elimination of false detection
Static analysis based on efficient elimination of false detection
展开▼
机译:基于有效消除错误检测的静态分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and a system is disclosed herein for model checker based efficient elimination of false positives from static analysis warnings generated during static analysis of an application code. The system computes complete-range non-deterministic value variables ( cnv variables) that are based on data flow analysis or static approximation of execution paths by control flow paths. During computation of cnv variables, over approximation ( may -cnv variables) and under approximation ( must-cnv variables) of a set of cnv variables at a program point is identified. The computed cnv variables are used to check whether an assertion variable is a cnv variable and the corresponding assertion verification call is redundant or otherwise. The identified redundant calls are then skipped for the efficiency of the false positives elimination and the model checker is invoked corresponding to the non-redundant assertion verification calls.
展开▼