《表2 支持并行的静态分析工具及其特征》
注:并行类型是指工具支持的并行方式,检测类型是指能够检测的软件质量问题,精度是指分析带有的敏感类型,“过程间”是指分析是不敏感的
学术界和工业界在发展出众多静态分析技术的同时,也开发了许多高效的静态分析工具.而随着多核时代的到来,越来越多的静态分析工具开始支持在多核平台上的并行分析(或特为此研发).表2列出了一些使用较为广泛(商业)/比较有代表性(学术研究)的支持并行的静态分析工具及其特征.
图表编号 | XD00168927600 严禁用于非法目的 |
---|---|
绘制时间 | 2020.05.01 |
作者 | 陆申明、左志强、王林章 |
绘制单位 | 计算机软件新技术国家重点实验室(南京大学)、计算机软件新技术国家重点实验室(南京大学)、计算机软件新技术国家重点实验室(南京大学) |
更多格式 | 高清、无水印(增值服务) |