程序静态分析解决方案_百度文库
2015年3月19日 - COBOT 简介库博是由北京北大软件工程发展有限公司和北京大学软件工程国家工程研 究中心联合研发的一种 C/C++程序静态分析工具, 采用基于专利技术分析...
静态程序分析_百度百科
静态程序分析(英语:Staticprogramanalysis)是指在不运行计算机程序的条件下,进行程序分析的方法。...
程序静态分析研究 - 豆丁网
2013年2月24日 - 兰州大学硕士学位论文 程序静态分析研究 姓名:冀佩刚 申请学位级别:硕士 专业:计算机软件与理论 指导教师:徐德启 20060501 兰州大学硕士研究生毕业论...