版本更新 version updates

2.9.0
2016年10月21日
分析检测方面:
1.误漏报进一步降低,尤其是在未初始化使用、数组越界以及内存泄漏三个检测器方面
2.分析效率进一步提高,在解析层对解析框架进行了重构,加快了解析进度。目前能够达到分析效率90%以上项目平均每小时120万行
3.检测效率提高,对一些检测器重构,解决了部分检测器检测效率过低
4.增加50个新的检测器百余种新的缺陷检测项,全部来自CWE以及CERT
功能方面:
 1. 重构了Word检测结果报表,新的报表更加详实专业
 2. 增加了缺陷跟踪功能,给出了缺陷发生路径图
 3. 部分页面UI进行了优化
 4. 优化了跟踪编译功能,其中增加了对windows IDE的支持,但目前不支持win 10下的跟踪编译
 5. 修复了用户提出的一些bug,包括代码统计,历史缺陷等
 6. 增加了在web端查看日志文件
 7. 增加了系统管理员在web端查看和导出log日志功能
2.8.10
2016年05月12日

1.降低误漏报率

2.优化检测内存

2.8.8
2016年04月25日

修复 :Unguarded, Guarded, Mod-effect、全局分析算法优化

新增 :May-Pre Post 支配分析

修复 :约束求解中一阶逻辑运算律调整

修复 :BoolExpr向SMT-Solver转换的Bug

新增 :编码规则ISO 17961的检测

新增 :Windows的跟踪编译

2.8.7
2016年03月28日

修复 :Parser层中对于namespace处理的缺陷

修复 :全局变量计算的效率优化

新增 :常量折叠中引入更多类型

修复 :Console中缺失头文件的缺陷

新增 :SUSE的跟踪编译

2.8.6
2016年03月17日

修复 :重构Parser层,减少重复引入头文件

修复 :CPP 对象域分析中的缺陷

2.8.3
2016年01月04日

新增 :CPP CFG隐式调用

新增 :CPP 对象域分析

新增 :虚函数分析

新增 :VDG中对于Exception处理

新增 :C程序插桩以及语句覆盖计算

新增 :C程序基于边界值的测试用例生成

修复 :Reaching-Def分析以适应CPP

2.8.2
2015年09月11日

新增 :引入SSA

修复 :未初始化使用、缓冲区溢出Bug修复

修复 :未初始化使用Bug修复

修复 :VDG精化中的Bug

2.8.0
2015年08月16日

新增 :指向分析、Mod-Effect分析

新增 :VDG重构,依赖类型

修复 :VDG中的Guard计算算法优化

新增 :基于VDG的程序切片

新增 :Guarded-CDG

新增 :继承关系分析

2.7.3
2015年04月10日

新增 :Java缺陷检测

新增 :常量“执行”和基本常量折叠

新增 :全局分析

新增 :超图

2.7.2
2015年01月10日

新增 :C++ 语义缺陷检测

新增 :VS 08插件

修复 :优化区间分析算法

2.6.4
2014年11月24日

修复 :语义缺陷Bug修复

2.6.1
2014年11月05日

新增 :GJB 8114检测

新增 :MISRA C++ 2008

新增 :定时检测

修复 :语义缺陷Bug修复