登陆
注册
工具列表
Tool list
Cppcheck
2020-06-01
79
-
Cppcheck的软件缺陷模式分析与定位
能通过编译的C/C++程序代码可能依然隐含安全、设计或风格上缺陷,从而导致运行时出现内存泄露、运行异常等现象,难以完成软件需求所预期的目标。针对开源软件缺陷检测工具Cppcheck软件存在的不足,主要...
-
基于区间集的Cppcheck数组边界缺陷检测
针对开源软件Cppcheck误报率和漏报率过高,且不能检测出运行时程序缺陷等问题,基于Cppcheck程序,提出了抽象区间集算法,并将其应用于数组边界缺陷检测。在Cppcheck框架内,通过引入区间集...
-
Fault-tolerant design method for tizen applications considering core- and API-level faults
Performance and reliability of individual components in a component-based software system is very im...
