以源代码缺陷检测为核心,围绕软件代码质量,为研发和测试团队提供软件代码深度分析检测能力。
- 支持C、C++、Java语言的源代码缺陷检测
- 支持基础漏洞集、GJB8114、Misra-C/C++ 2013、SEI Cert Java等编程规范40多种缺陷,300多条编程规则
- 集成AI大模型进行源代码检测
提供操作系统内核及虚拟化高级定制开发,覆盖范围包括:
- 提供Rtems、Nuttx、μC/OS、FreeRtos等多种嵌入式实时操作系统定制开发
- Linux内核定制及驱动开发
- Qemu模拟器定制(TMS320VC33、TMS320F28335、FT-M6678)、虚拟化监控器(Hypervisor)定制能力
立足于多年软件开发和安全检测经验,并结合对国内外重要软件开发组织代码治理的研究,梳理出了针对不同团队规模和业务特点的软件的代码质量管理技术,可以为不同的客户有针对性地构建完整的代码质量管理方案。
以科技创新为驱动,服务国家和社会