源代码缺陷检测工具
工具有基本检测引擎和人工智能检测引擎两大类,支持跟踪编译检测源,也支持代码检测,即编译不通过检测。基本检测引擎如:到达值分析、前支配分析、后支配分析、活跃变量分析等;人工智能检测引擎如:代码基因图谱分析、修改影响分析、类继承关系分析、多态分析等。