北京北大软件工程股份有限公司
一、企业介绍
北京北大软件工程股份有限公司（简称北大软件）成立于2000年12月，是北京大学控股的一家以高技术为核心的软件企业。秉承“以创新吸引人、以事业凝聚人、以爱心团结人、以机制稳定人”的企业发展宗旨，以“服务国家需要、坚持自主创新、提升客户价值”为使命，瞄准国外软件工程技术发展，探索国内软件产业发展需要，立足于国家重大工程，结合航空、航天、电子、兵器等军队军工单位，公检法司、行政执法、信访维稳、价格统筹以及各级党委/政府、大型国/央企业务的发展需求，面向“法制政府、社会治理、队伍建设、公共服务、国防建设和大数据”六大领域，提供信息化顶层设计与规划咨询、应用软件开发、系统集成、运维服务和运营服务等全方位专业服务，专注打造富有生命力的软件。
二、产品介绍
库博（CoBOT）是由北京北大软件工程发展有限公司和北京大学软件工程国家工程研究中心联合研发的一种C/C++/JAVA程序静态分析工具。
在2015年11月，库博(CoBOT)通过美国CWE符合性认证，成为中国首家且唯一一家通过该认证的软件安全检测工具，打破了国外产品在软件检测分析领域的垄断地位。
库博支持编译不通过的检测、全面国产化支持包括具有全中文界面、支持中标麒麟等国产操作系统以及WPS报表导出、用户定制缺陷开发等，在业内广受好评，成为国内最具代表性的程序静态分析工具。
三、核心技术
CoBOT是一款代码静态分析工具，采用基于专利技术分析引擎开发的、具有自主知识产权程序静态分析框架，综合运用了多种先进的静态分析技术。
CoBOT静态分析的核心技术是值依赖分析技术。值依赖分析技术是一种符号计算技术，通过值依赖分析构建的值依赖模型。值依赖模型表达了程序中全部元素，并建立了6类值依赖关系及11种值依赖关系。综合利用内存的指向信息、变量的可能取值范围信息，增强了模型对程序值依赖描述的准确性。
四、应用领域
应用领域主要为航空、航天、电子、兵器等军队军工单位和所有重视软件质量的民口企业，包括大型互联网企业、通信企业、测评中心等。
应用场景有IDE插件方式、定时检测和B/S管理端检测三种方式。
五、应用案例
2014年09月项目组与国家互联网应急中心签署了软件代码安全合规性检测工具采购合同。2015年11月项目组与国家信息技术安全研究中心签署了移动应用源代码静态安全检测工具采购合同。2016年与船舶系统工程部、高铁通号院、国家保密局测评中心、上海心河信息测评中心、中广核设备研发中心签署了采购合同。
2017年在100余家单位部署应用，使用效果良好，已经确认采购的包括腾讯、阿里、新松机器人、中电14所、中电15所、兵器58所、核九院12所、航天九院13所、航天三院三部、国家互联网应急中心等多家软件开发测试单位。
地址：北京市海淀区北京大学理科1号楼（100871）
联系人：赵舶程
电话：15120009393、010-62766856
