华昱卓程
品牌意象 · 概念素材
关于华昱卓程
专业的技术积累
务实的合作方式
核心研发团队具有十余年的操作系统底层软件开发和软件安全缺陷分析经验。围绕产品研发、系统定制与软件质量管理，我们面向客户的不同需求开展合作。
业务与产品
围绕软件研发中的实际需求，提供产品、开发与质量管理服务。
详细技术能力
- 支持 C、C++、Java 语言的源代码缺陷检测
- 支持基础漏洞集、GJB8114、Misra-C/C++ 2013、SEI Cert Java等编程规范40多种缺陷，300多条编程规则
- 结合 AI 大模型进行源代码检测
详细技术能力
- 提供 RTEMS、NuttX、μC/OS、FreeRTOS 等嵌入式实时操作系统定制开发
- Linux 内核定制及驱动开发
- QEMU 模拟器与 Hypervisor 定制开发
企业实力
以专业积累
建立合作基础
核心团队在软件安全、嵌入式实时操作系统和系统仿真方面具有研发经验。企业资质与发展记录，为了解华昱卓程提供具体依据。
认定日期：2023年10月26日。
点击图片可查看原始证书。
合作伙伴
中国航天科技集团
中国航天科工集团
中国电子信息产业集团
中国移动
中国信息安全评测中心
中国科学院
北京邮电大学
北京理工大学
发展历程
企业发展记录
阅镜AI代码分析平台发布
发布阅镜AI代码分析平台，将静态分析结果、源码上下文与大模型结合，提供缺陷复核与证据说明，支持企业内网部署。
推进静态分析与大模型融合
围绕代码分析场景，结合静态分析与大模型技术，开展代码规范检查和缺陷分析验证。
推进实时操作系统支持研发
围绕嵌入式实时操作系统，开展轻量级进程、虚拟内存管理与进程隔离等技术研发，完善配套支持方案。
拓展Java代码检测能力
持续开展Java代码检测规则研发，完善规则映射、检测器实现与配套测试用例。
阅镜-源代码静态分析平台4.0版本上线
2023年12月8日，公司产品阅镜服务端4.0版本正式上线。在后端引入微服务架构后，系统稳定性和扩展性进一步增强，欢迎访问阅镜入口。
华昱卓程获得国家级高新技术企业称号
2023年10月26日，北京华昱卓程软件有限公司通过北京市认定机构2023第二批高新技术企业认证，正式获批国家级高新技术企业认证。
华昱卓程获得科技型中小企业称号
2023年4月6日，北京市科学技术委员会、中关村科技园区管理委员会网站公布《关于北京市2023年第四批拟入库科技型中小企业名单的公示》，北京华昱卓程软件有限公司入选。
软件技术成果获著作权登记
软件形式化建模验证软件V2.1与中断安全分析客户端分析软件V1.5获得计算机软件著作权登记。
华昱卓程成为中国信息产业商会信息安全分会成员单位
2020年12月28日，北京华昱卓程软件有限公司通过中国信息产业商会信息安全分会的审批，正式成为中国信息产业商会信息安全分会成员单位，将与信息安全分会相关公司加强合作，互利共赢。
北京华昱卓程软件有限公司成立
北京华昱卓程软件有限公司于2012年3月7日成立。
联系华昱卓程
从一次交流
开始了解与合作
欢迎就产品应用、系统软件定制或软件质量需求，与我们沟通。